>
> Cool. So the next step is to make this work:
>
> x = Symbol('x')
> assert ask(x, Q.integer) is None
> local_context = AssumptionsContext()
> local_context.add(Assume(x, Q.integer))
> with local_context:
> assert ask(x, Q.integer) is True
>
It doesn't really need any setup / tear-down...you mean to switch what the
global_assumptions points to during the 'with' block?
(by the way, I just noticed typing that that you should be testing "is
> None/True/False" instead of "== None/True/False".)
>
Even for the testing? I don't think I have any "== None/True/False" in the
main code base (was just following suit for the testing).
Cheers
--
You received this message because you are subscribed to the Google Groups
"sympy-patches" group.
To post to this group, send email to sympy-patc...@googlegroups.com.
To unsubscribe from this group, send email to
sympy-patches+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy-patches?hl=en.
