Hi everyone, I was interested to know what would be a good answer to the question: Q. How to check mathematical equality of objects in SymPy? (Here the object is general, can be `*PermutationGroup*`, equality of `*Order*` or any other object possible) like mathematically `*O( log(n!) , (n, oo) )` equals `O( n*log(n), (n, oo) )*`) -> currently not done in SymPy )
For above question i read some past archives, one of them being: https://groups.google.com/forum/#!searchin/sympy/Mathematical$20equality/sympy/nK7UjJx28J4/LEsdy_Otl90J Especially the *@mrocklin 's comment*. I also beforehand thought of `*.equals*` method ( definetly not good to go with `*==*` ). But i suspect, since the mathematical equality in Symbolic system can be very difficult to check, so defining `*.equals*` would be difficult for every object also, but for some objects it can be possible. The other thing i thought of is `*.rewrite*` methods. So in general what would be the answer to the above question? Perhaps some light upon this will be helpful. Thanks Gaurav Dhingra (gxyd) -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/5a91154a-eb2a-4b5f-ab6a-9dc32b4779eb%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.