> > 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.