Status: Accepted
Owner: smichr
Labels: Type-Enhancement Priority-Medium
New issue 1610 by smichr: assumptions are ignored by subs
http://code.google.com/p/sympy/issues/detail?id=1610
If variables have assumptions on them, wouldn't it be a good idea to test
that those assumptions are not violated when doing a substitution?
>>> p=Symbol('p', positive=True)
>>> p.subs(p,-1)
-1
Or maybe there should be a check-assumptions option that is on by default.
It matters because if simplification has been done bases on assumptions,
then evaluating the final expression later will give unexpected results.
/c
--
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 sympy-issues@googlegroups.com
To unsubscribe from this group, send email to
sympy-issues+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en
-~----------~----~----~----~------~----~------~--~---
