I'm trying to figure out how assumptions work and how they might be used to
reject complex solutions.
The first problem I'm having is how to test assumptions manually. I'm
finding that:
ask(Q.positive(1)) --> True
ask(Q.positive(-1)) --> False
but:
d=symbols('d',positive=True)
ask(Q.positive(d)) --> None
d.is_positive does True (though I could swear it returned None before I
started this email...).
What is the right interface for testing assumptions?
Thanks!
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To view this discussion on the web visit
https://groups.google.com/d/msg/sympy/-/1Ws-C-kKRoIJ.
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.
