I am not against the exception. The question is what quantifiers we use for variables, isn't it? Antoher approach would be to implement it such that the quatifier is always "forall" for all variables in the expression, i.e. it only returns True if for all possible values of x, y, .. it is True. Otherwise it returns False. That would be another consistent approach.
I don't know which one I favour, I only know that the current state is very bad. Chris. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.