Status: Valid
Owner: ----
Labels: Type-Enhancement Priority-Medium Assumptions
New issue 3687 by asmeu...@gmail.com: Redundant assumptions
http://code.google.com/p/sympy/issues/detail?id=3687
The assumptions system should be able to work with redundant assumptions
easily. That way, we can add useful "shortcut" assumptions that may
technically be expressible in terms of already existing assumptions, but it
makes the formalism easier. For example, nonnegative instead of real &
(positive | zero).
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sympy-issues+unsubscr...@googlegroups.com.
To post to this group, send email to sympy-issues@googlegroups.com.
Visit this group at http://groups.google.com/group/sympy-issues?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
