Re: Issue 1879 in sympy: Satisfiable theory resulting in False

Comment #10 on issue 1879 by christian.muise: Satisfiable theory resulting in False http://code.google.com/p/sympy/issues/detail?id=1879 Oh, definitely. The typical approach is to add a new unit clause with the decision variable / value and run a full unit prop at the start of the loop.

Re: Issue 1598 in sympy: New polynomials manipulation module

Comment #110 on issue 1598 by mattpap: New polynomials manipulation module http://code.google.com/p/sympy/issues/detail?id=1598 A patch concerning #109 is available in polys8 branch. -- You received this message because you are listed in the owner or CC fields of this issue, or because you

Re: Issue 1878 in sympy: For non-commutative symbols all comparisons evaluate to False

Comment #8 on issue 1878 by jensen.oyvind: For non-commutative symbols all comparisons evaluate to False http://code.google.com/p/sympy/issues/detail?id=1878 Interesting. So being negative can be more general than being a negative real number then. Just for fun I tried removing the rules

Re: Issue 1878 in sympy: For non-commutative symbols all comparisons evaluate to False

Comment #9 on issue 1878 by jensen.oyvind: For non-commutative symbols all comparisons evaluate to False http://code.google.com/p/sympy/issues/detail?id=1878 Sorry I was on the wrong branch, it was in fact 7 fails and 1 exception. Attachments: test_out.txt 16.6 KB -- You received

Re: Issue 1242 in sympy: Simplifying of complex exponentials

Updates: Status: Started Labels: EasyToFix Comment #2 on issue 1242 by mattpap: Simplifying of complex exponentials http://code.google.com/p/sympy/issues/detail?id=1242 This works in current SymPy: In [1]: c = cos(x)._eval_rewrite_as_exp(x) In [2]: t =

Re: Issue 1798 in sympy: Refactoring Basic

Comment #15 on issue 1798 by ellisonbg.net: Refactoring Basic http://code.google.com/p/sympy/issues/detail?id=1798 Initially I didn't like this idea of splitting Basic into Basic+Expr, but after looking more I think it is a good idea. In addition to removing the circular dependencies, it also

Re: Issue 1878 in sympy: For non-commutative symbols all comparisons evaluate to False

Comment #10 on issue 1878 by asmeurer: For non-commutative symbols all comparisons evaluate to False http://code.google.com/p/sympy/issues/detail?id=1878 Really I think it should be complex=False instead of real=True, since the complex numbers cannot be ordered. -- You received this

Re: Issue 1431 in sympy: ratsimp improvement

Updates: Status: Started Owner: mattpap Labels: NeedsReview Comment #2 on issue 1431 by mattpap: ratsimp improvement http://code.google.com/p/sympy/issues/detail?id=1431 As ratsimp() is currently redundant, because we have cancel() function for reducing the degree of

Re: Issue 1439 in sympy: polynomial solution missing real roots

Comment #3 on issue 1439 by mattpap: polynomial solution missing real roots http://code.google.com/p/sympy/issues/detail?id=1439 Now this example works fine: In [1]: f = -1936 - 5056*x - 7592*x**2 + 2704*x**3 - 49*x**4 In [2]: intervals(f) Out[2]: [((3, 4), 1), ((52, 53), 1)] In [3]:

Re: Issue 1571 in sympy: simplify hangs on a**3*(1/(c1+a)**3-6/(c2-a)**3)

Updates: Status: Started Comment #2 on issue 1571 by mattpap: simplify hangs on a**3*(1/(c1+a)**3-6/(c2-a)**3) http://code.google.com/p/sympy/issues/detail?id=1571 This is no more an issue with new polynomials. -- You received this message because you are listed in the owner or CC

Re: Issue 1642 in sympy: decorators in functions/special/polynomials.py prevent printing in Mul.flatten (and others)

Updates: Status: Started Owner: mattpap Labels: NeedsReview Comment #1 on issue 1642 by mattpap: decorators in functions/special/polynomials.py prevent printing in Mul.flatten (and others) http://code.google.com/p/sympy/issues/detail?id=1642 In commit

Re: Issue 1637 in sympy: solve([Eq(x+a*y,1), Eq(x+y+z, 1), Eq(z+3*x)], x, y, z, a) troubles

Updates: Status: Started Owner: mattpap Labels: NeedsReview Comment #2 on issue 1637 by mattpap: solve([Eq(x+a*y,1), Eq(x+y+z, 1), Eq(z+3*x)], x, y, z, a) troubles http://code.google.com/p/sympy/issues/detail?id=1637 The system is non-linear and has infinite number of

Re: Issue 1629 in sympy: solve() raises an exception for quartic equation

Comment #3 on issue 1629 by mattpap: solve() raises an exception for quartic equation http://code.google.com/p/sympy/issues/detail?id=1629 Now we can construct a polynomial out of fn and solve() hangs. -- You received this message because you are listed in the owner or CC fields of this

Re: Issue 1862 in sympy: f should be F

Updates: Status: Started Comment #2 on issue 1862 by mattpap: f should be F http://code.google.com/p/sympy/issues/detail?id=1862 There is also a fix for this in polys8 (f0db3743ae2aa9a4bcedbe0f771a49e4462317b9). -- You received this message because you are listed in the owner or CC

Re: Issue 1642 in sympy: decorators in functions/special/polynomials.py prevent printing in Mul.flatten (and others)

Updates: Labels: -NeedsReview PassedReview Comment #2 on issue 1642 by asmeurer: decorators in functions/special/polynomials.py prevent printing in Mul.flatten (and others) http://code.google.com/p/sympy/issues/detail?id=1642 Great, it works now! dhcp-baca-230:sympy-scratch

Re: Issue 1878 in sympy: For non-commutative symbols all comparisons evaluate to False

Comment #11 on issue 1878 by ronan.l...@gmail.com: For non-commutative symbols all comparisons evaluate to False http://code.google.com/p/sympy/issues/detail?id=1878 Actually, the way things are now might be confusing but it's consistent: In [1]: a,b = symbols(a b, commutative=False) In