I think most time is spend in the is_zero() method for a symbolic expression, and that the reassignments you refer to are largely irrelevant. The thing is that it can cost a lot of time to decide whether, for example
sin(x)cos(x) - sin(2x)/2 is equal to zero, because there is so many things to try (in this case goniometric identities). I may be wrong, however. If I am right, I actually think that cleanup shouldn't be called at that point, since these kind of simplifications will also be done for the comparisons later on. Best, Timo -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
