Comment #5 on issue 2625 by asmeurer: Imaginary unit in R, ordering of complex numbers
http://code.google.com/p/sympy/issues/detail?id=2625
You can define any number of total orderings on the set of complex numbers, but none of these will be algebraic orders. This is true even if you limit yourself to the set of purely imaginary numbers. < and > are algebraic inequalities, and imply the various things that that implies (a > b <=> a - b > 0, a > b and c > d => a + c > b + d, a > 0 and b > 0 => a*b > 0, etc.). Since these will never all hold on any ordering you define on a set that contains sqrt(-1), we should not allow it.
-- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to sympy-issues@googlegroups.com. To unsubscribe from this group, send email to sympy-issues+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy-issues?hl=en.
