Comment #1 on issue 1894 by mattpap: Xor(x, 1/y) doesn't work
http://code.google.com/p/sympy/issues/detail?id=1894
I encountered this when working on pretty printers for logic operators,
e.g.:
In [1]: Equivalent(Implies(Or(Not(x), y, z), And(x, 1/y)), Ne(x, y))
Out[1]:
⎛ ⎛ 1⎞⎞
x ≠ y ≡ ⎜(x ∧ ¬ z ∧ ¬ y) ∨ ⎜x ∧ ─⎟⎟
⎝ ⎝ y⎠⎠
It looks pretty, but I'm a little annoyed with all this automatic
rewriting. The
resulting expression is too far from what was entered on the command line.
I would
really like to have only minimalistic rewriting done (trivial cases like
And(0, 1))
and then a function, say normal() (or something, no simplify() is not the
function)
to do large scale rewriting.
--
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 [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.
