Comment #51 on issue 1047 by asmeurer: Suggested new assumption system http://code.google.com/p/sympy/issues/detail?id=1047
Also, the booleans have been replaced with LatticeOp, which uses frozenset instead of sorted, so I am sure that this issue will go away when the branch is rebased. This touches on an issue that we will need to fix before we can implement relational assumptions, if not sooner. We need to separate non-mathematical comparison, for sorting, from inequalities, which return bools only in the most trivial of cases. I personally would like to have the <,> syntax for StrictInequality. We should not even be using cmp functions, as they are not supported in Python 3 and are inefficient compared to key. StrictInequality should reject anything that doesn't make sense in a mathematical inequality: Assume objects, complex numbers, etc. I would like to help with the relational assumptions, but I think that this is the first step, to clear this up. -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings -- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to sympy-iss...@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.