>>>> Le(0,x) > 0 <= x >>>> 0<=x > x >= 0
I'd say this is the bug. This should give a LessThan object. Can you open an issue for this? > Regardless, perhaps the __eq__ method for Gt, Ge, Lt, Le should check > for reversed ordering of the arguments or in some way make them > canonical before comparing? We were going to do that, but it would have been complicated, because we would have had to modified the hash so that it also worked that way. So we decided to make them compare unequal, which fits with the use of == in SymPy, and is arguably more useful (otherwise, more work would have to be done to actually differentiate between the two). I realize now that perhaps the relationals need a property .is_strict, so you can just compare relationals with a.is_strict == b.is_strict and a.gts == b.gts and a.lts == b.lts (perhaps this can be abstracted into a method of relational). Doing things this way is better than comparing the relational directly because it lets you do x > y or y < x depending on what looks nicer. Aaron Meurer -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sympy@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
