This is a good question. For one thing, == is not mathematical equality but exact equality, so there is no reason why it should have to be True. So my initial response is that no, it should not.
But I could see how there might be advantages to doing it (on the other hand, there could also be disadvantages). Currently, we don't really have any functions for combining integrals (to my knowledge), but that is where this would come into play. Whatever we do should be consistent for anything that uses bounded symbols. Aaron Meurer On Apr 11, 2011, at 2:25 AM, smichr wrote: > Should `Integral(x, (x, 1, 2)) == Integral(y, (y, 1, 2))` be True? If > so, smichr branch 2068b has a commit that makes this testing possible. > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. > -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
