On Tuesday, August 26, 2014 9:32:29 AM UTC+4, Chris Smith wrote:
>
> I know that the new system can handle "is_true" expressions and can handle
> assumptions involving Or (while the old assumptions only allow And-based
> assumptions: var('x', integer=True, positive=True).
>
Not just Or-ed, but the new system allow to specify arbitrary assumptions
on expressions. Something like Q.positive(log(x)).
> One thing I noted today was that the old system can make a calculation
> based on arg(expression) which depends on the old assumptions. I don't know
> how that could be done in the new system.
>
I think, exactly as in the old one. No difference. But, you will have to
use different syntax to query assumptions while computing arg(expr).
ask(Q.positive(foo)) instead of foo.is_positive and so on.
Or I don't understand your problem.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/0e6fe317-00fb-4a61-a52f-8627b4324ec3%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
