>>
>> Also I don't like that the assumptions are assigned to the symbols
>> directly. See also the issue #1047 for some arguments against it.
>
> yeah, I too think now that assumptions should not be assigned to symbols.
>
> taken from test_assumptions.py:
>
> x = Symbol('x',real=True, integer=True)
> assert x.is_real == True
>
> How could this be translated into your assumption system?
>
> x = Symbol('x')
> assert IsElement(x, Real, assumptions=Element(x, Real))
Good question. I created:
http://wiki.sympy.org/wiki/Assumptions
So far I added your suggested solution to it. How would you write the
following in your system:
e = abs(x)
print e.refine(Assumptions(x>0))
print e.refine(Assumptions(x<0))
(feel free to edit the wiki)
Ondrej
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sympy" 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?hl=en
-~----------~----~----~----~------~----~------~--~---
