Re: Issue 1615 in sympy: Symbol('x', real=True) should create global assumption

2010-04-05 Thread sympy
Updates: Status: Duplicate Mergedinto: 1884 Comment #1 on issue 1615 by Vinzent.Steinberg: Symbol('x', real=True) should create global assumption http://code.google.com/p/sympy/issues/detail?id=1615 (No comment was entered for this change.) -- You received this message becaus

Re: Issue 1884 in sympy: remove old assumptions

2010-04-05 Thread sympy
Comment #9 on issue 1884 by Vinzent.Steinberg: remove old assumptions http://code.google.com/p/sympy/issues/detail?id=1884 Issue 1615 has been merged into this issue. -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue.

Re: Issue 1384 in sympy: assumptions docs are wrong

2010-04-05 Thread sympy
Comment #3 on issue 1384 by Vinzent.Steinberg: assumptions docs are wrong http://code.google.com/p/sympy/issues/detail?id=1384 is_real actually returns None. -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may a

Re: Issue 1384 in sympy: assumptions docs are wrong

2010-04-05 Thread sympy
Updates: Labels: NeedsReview Comment #4 on issue 1384 by Vinzent.Steinberg: assumptions docs are wrong http://code.google.com/p/sympy/issues/detail?id=1384 I send a patch just removing the offending line. Why have we is_comparable=False? IMHO, this is redundant to is_real. -- You recei

Re: Issue 1884 in sympy: remove old assumptions

2010-04-05 Thread sympy
Updates: Cc: mattpap Comment #10 on issue 1884 by Vinzent.Steinberg: remove old assumptions http://code.google.com/p/sympy/issues/detail?id=1884 Mateusz, I addressed the concerns you raised (except the slow And) in my new_assump branch. Is this what you meant? Do you think these change

Re: Issue 1884 in sympy: remove old assumptions

2010-04-05 Thread sympy
Comment #11 on issue 1884 by Vinzent.Steinberg: remove old assumptions http://code.google.com/p/sympy/issues/detail?id=1884 Actually, the speed difference is not as big as I expected: In [6]: %timeit x.is_positive 100 loops, best of 3: 393 ns per loop In [7]: %timeit ask(x, Q.positive) 100

Re: Issue 1860 in sympy: Symbols with shape

2010-04-05 Thread sympy
Comment #6 on issue 1860 by Vinzent.Steinberg: Symbols with shape http://code.google.com/p/sympy/issues/detail?id=1860 I think this should be implemented using new-style assumptions. Maybe Mul() should raise an exception when used for incompatible shapes. But this would really be a great ad

Re: Issue 1884 in sympy: remove old assumptions

2010-04-05 Thread sympy
Comment #12 on issue 1884 by ronan.l...@gmail.com: remove old assumptions http://code.google.com/p/sympy/issues/detail?id=1884 I don't quite understand the point of this inspect magic. What is the difference with explicitly creating an AssumptionsContext() instance? (which, BTW, is just a str

Re: Issue 1884 in sympy: remove old assumptions

2010-04-05 Thread sympy
Comment #13 on issue 1884 by Vinzent.Steinberg: remove old assumptions http://code.google.com/p/sympy/issues/detail?id=1884 The point is to stay backward compatible. Without inspect magic you would have to write a = AssumptionsContext() x = Symbol('x', real=True, ctx=a) instead of x = Symb

Re: Issue 1884 in sympy: remove old assumptions

2010-04-05 Thread sympy
Comment #14 on issue 1884 by Vinzent.Steinberg: remove old assumptions http://code.google.com/p/sympy/issues/detail?id=1884 For reference, the failure I'm getting in my branch: $ bin/test assum # hangs ^CTraceback (most recent call last): File "bin/test", line 16, in import sympy File

Re: Issue 1384 in sympy: clean-up Symbol's assumptions

2010-04-05 Thread sympy
Updates: Summary: clean-up Symbol's assumptions Status: Started Labels: -Type-Defect -Priority-High -WrongResult -NeedsReview Type-Enhancement Priority-Medium Comment #5 on issue 1384 by Vinzent.Steinberg: clean-up Symbol's assumptions http://code.google.com/p/sympy/issues/det

Re: Issue 1798 in sympy: Refactoring Basic

2010-04-05 Thread sympy
Comment #20 on issue 1798 by ronan.l...@gmail.com: Refactoring Basic http://code.google.com/p/sympy/issues/detail?id=1798 "Expr" is just a placeholder name so it would be nice to find a better alternative. I'm not really convinced by "Term", however. It suggests that the class represents pa

Re: Issue 1798 in sympy: Refactoring Basic

2010-04-05 Thread sympy
Comment #21 on issue 1798 by Vinzent.Steinberg: Refactoring Basic http://code.google.com/p/sympy/issues/detail?id=1798 -if not hasattr(a,i): +if not hasattr(a,i) or i in ['__dict__']: Why was this change necessary? Please add the reason to the commit message. Th

Re: Issue 1729 in sympy: doctest failure on new master for Windows 32 sys

2010-04-05 Thread sympy
Comment #3 on issue 1729 by Vinzent.Steinberg: doctest failure on new master for Windows 32 sys http://code.google.com/p/sympy/issues/detail?id=1729 Is this fixed now? -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this iss

Re: Issue 1884 in sympy: remove old assumptions

2010-04-05 Thread sympy
Comment #15 on issue 1884 by Vinzent.Steinberg: remove old assumptions http://code.google.com/p/sympy/issues/detail?id=1884 I fixed this and some bugs, however currently symbols() and probably also var() are not correctly creating local assumptions. Just to clarify: The new_assump branch is

Re: Issue 1798 in sympy: Refactoring Basic

2010-04-05 Thread sympy
Comment #22 on issue 1798 by ronan.l...@gmail.com: Refactoring Basic http://code.google.com/p/sympy/issues/detail?id=1798 Thanks, I had forgotten about this. There were test failures related to pickling that I didn't really understand. It turns out that many classes had gained a __dict__ att