Issue 3632 in sympy: New assumptions should be fast

Status: Valid Owner: Labels: Type-Defect Priority-Medium Assumptions New issue 3632 by mrock...@gmail.com: New assumptions should be fast http://code.google.com/p/sympy/issues/detail?id=3632 Old assumptions In [1]: x = Symbol('x', positive=True) In [2]: y = Symbol('y', positive=True) In

Re: Issue 3632 in sympy: New assumptions should be fast

Comment #2 on issue 3632 by asmeu...@gmail.com: New assumptions should be fast http://code.google.com/p/sympy/issues/detail?id=3632 How long does it take to develop all the inferences on a single assumption (for example, after assuming x is positive, determine that it is real)? Does this