Comment #4 on issue 3337 by [email protected]: AssocOp uses _sympify, LatticeOp sympify; sympify booleans
http://code.google.com/p/sympy/issues/detail?id=3337
One problem I note in the PR 1447 that is causing a doctest failure in boolalg is:
Equivalent uses a set for its args so the args end up being ordered in a system-dependent way. I tried to fix that by sorting the args. I don't like that the args are sorted (my change) /reordered (by set) at all at instantiation since the order of evaluation should be done in the order given, shouldn't it? Anyway, this didn't work since Add (and Or), deriving from LatticeOp, *also* use frozenset for their args so the `eliminate_implications` ends up creating an Add and the args get ordered in a system-dependent way.
If the args are not re-ordered in __new__, only filtered, then the sorting should happen in __eq__ and for printing, perhaps.
I note this here since it seems pertinent to any re-writing of Boolean. -- You received this message because you are subscribed to the Google Groups "sympy-issues" 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-issues?hl=en.
