Updates:
Summary: Separate boolean and symbolic relationals
Labels: -Milestone-Release0.7.0 Milestone-Release0.7.1
Comment #3 on issue 1887 by asmeurer: Separate boolean and symbolic
relationals
http://code.google.com/p/sympy/issues/detail?id=1887
I think this is the best place to make this issue.
In light of issue 1932 and others, I think we need two classes, Eq and Eqn
(and ditto for the inequalities).
One of them would be a Boolean, and would be used for the assumptions. The
other would be a container class for symbolic equalities/inequalities. The
Boolean would auto-reduce to True or False whenever possible. The other
one would never reduce (even if it is something like 1 == 1 or 1 == 2 or Pi
3). Arithmetic would work on the symbolic ones (issue 1932). I'm not
sure which one would be called Eq and which Eqn, or what to call the Le,
Lt, etc. versions.
I think maybe x > y should return the symbolic version by default, but it
would be converted to the boolean version when something like Ask(x >y) or
Assume(x > y) was called.
Ronan, do you agree with this?
Also, postponing the release milestone.
--
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.
