Comment #6 on issue 3585 by [email protected]: Replace new assumptions
handlers
http://code.google.com/p/sympy/issues/detail?id=3585
The idea I said above is not the old assumptions idea. Assumptions can be
separated into a few parts
1. Stating facts (e.g. X is positive)
2. Stating relations (e.g. the addition of several positive numbers is
positive)
3. Asking questions (e.g. is 2 + X positive?)
Here am mostly asking about (2), where we encode relations.
To be clear, I'm not at all pushing for my comment above, it was just a
question. "We don't want assumptions in the core" or "then it's
challenging to add new predicates" are both fine answers.
--
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.
