Issue 4081 in sympy: Equivalent doesn't sort args

2013-10-28 Thread sympy
Status: Valid Owner: Labels: Type-Defect Priority-Medium Logic Printing New issue 4081 by asmeu...@gmail.com: Equivalent doesn't sort args http://code.google.com/p/sympy/issues/detail?id=4081 Equivalent(x, y) sometimes prints as Equivalent(x, y) and sometimes as Equivalent(y, x). I haven'

Issue 4080 in sympy: Pretty print Not(Equivalent) and Not(Implies)

2013-10-28 Thread sympy
Status: Valid Owner: Labels: Type-Enhancement Priority-Medium Printing Logic EasyToFix New issue 4080 by asmeu...@gmail.com: Pretty print Not(Equivalent) and Not(Implies) http://code.google.com/p/sympy/issues/detail?id=4080 Instead of printing Not(Equivalent) and Not(Implies) with ¬, we

Re: Issue 4076 in sympy: Improvements to logic module

2013-10-28 Thread sympy
Comment #3 on issue 4076 by asmeu...@gmail.com: Improvements to logic module http://code.google.com/p/sympy/issues/detail?id=4076 Another thing that bugs the crap out of me that I may or may not get around to fixing is all the automatic evaluation that happens. Not automatically applies deMo

Re: Issue 4076 in sympy: Improvements to logic module

2013-10-28 Thread sympy
Updates: Blockedon: sympy:2531 sympy:4075 Comment #2 on issue 4076 by asmeu...@gmail.com: Improvements to logic module http://code.google.com/p/sympy/issues/detail?id=4076 I didn't notice the simplify=True option to to_cnf. It seems it doesn't work: In [48]: var("x:3") Out[48]: (x₀,

Re: Issue 2531 in sympy: Sympy objects for Boolean values: True, False

2013-10-28 Thread sympy
Issue 2531: Sympy objects for Boolean values: True, False http://code.google.com/p/sympy/issues/detail?id=2531 This issue is now blocking issue sympy:4076. See http://code.google.com/p/sympy/issues/detail?id=4076 -- You received this message because you are listed in the owner or CC fields of th

Re: Issue 4075 in sympy: More efficient to_cnf

2013-10-28 Thread sympy
Issue 4075: More efficient to_cnf http://code.google.com/p/sympy/issues/detail?id=4075 This issue is now blocking issue sympy:4076. See http://code.google.com/p/sympy/issues/detail?id=4076 -- You received this message because you are listed in the owner or CC fields of this issue, or because you

Issue 4079 in sympy: fourier_transform(1, x, z) returns 0

2013-10-28 Thread sympy
Status: New Owner: Labels: Type-Defect Priority-Medium New issue 4079 by ppue...@googlemail.com: fourier_transform(1, x, z) returns 0 http://code.google.com/p/sympy/issues/detail?id=4079 fourier_transform(1, x, z) returns 0, but it should return DiracDelta(z) -- You received this messag

Re: Issue 4075 in sympy: More efficient to_cnf

2013-10-28 Thread sympy
Comment #5 on issue 4075 by christian.muise: More efficient to_cnf http://code.google.com/p/sympy/issues/detail?id=4075 Better references? There should be, but I just know it as general lore around the SAT solving community. Your best bet is to analyze the types of input you are expecting --

Issue 4078 in sympy: laplace_transform(Sum((-1)**n*Heaviside(t - n*a), (n, 1, oo)), t, s) not calculated

2013-10-28 Thread sympy
Status: New Owner: Labels: Type-Defect Priority-Medium New issue 4078 by ppue...@googlemail.com: laplace_transform(Sum((-1)**n*Heaviside(t - n*a), (n, 1, oo)), t, s) not calculated http://code.google.com/p/sympy/issues/detail?id=4078 t = symbols('t', real=True, positive=True) a = symbo

Issue 4077 in sympy: laplace_transform(diff(y(t), t, 2), t, s) not calculated

2013-10-28 Thread sympy
Status: New Owner: Labels: Type-Defect Priority-Medium New issue 4077 by ppue...@googlemail.com: laplace_transform(diff(y(t), t, 2), t, s) not calculated http://code.google.com/p/sympy/issues/detail?id=4077 t = symbols('t', real=True, positive=True) w = symbols('w', real=True) s = symbol

Re: Issue 4075 in sympy: More efficient to_cnf

2013-10-28 Thread sympy
Comment #4 on issue 4075 by asmeu...@gmail.com: More efficient to_cnf http://code.google.com/p/sympy/issues/detail?id=4075 Do you know of any better references for this, aimed more toward implementation? It seems like in many (most?) cases, adding new variables is unnecessary. For instance,

Re: Issue 4075 in sympy: More efficient to_cnf

2013-10-28 Thread sympy
Comment #3 on issue 4075 by asmeu...@gmail.com: More efficient to_cnf http://code.google.com/p/sympy/issues/detail?id=4075 Oh I didn't know that. So we would need to find a heuristic to balance the two. -- You received this message because this project is configured to send all issue notif

Re: Issue 3608 in sympy: Issues with trigfunctions.equals

2013-10-28 Thread sympy
Updates: Labels: NeedsReview Comment #2 on issue 3608 by julien.r...@gmail.com: Issues with trigfunctions.equals http://code.google.com/p/sympy/issues/detail?id=3608 (No comment was entered for this change.) -- You received this message because this project is configured to send all

Re: Issue 4074 in sympy: laplace_transform(sinh(w*t)*cosh(w*t), t, s) AttributeError

2013-10-28 Thread sympy
Updates: Status: Valid Comment #2 on issue 4074 by julien.r...@gmail.com: laplace_transform(sinh(w*t)*cosh(w*t), t, s) AttributeError http://code.google.com/p/sympy/issues/detail?id=4074 I've seen this, too. -- You received this message because this project is configured to send all

Re: Issue 4023 in sympy: solve provides the error: sympy.polys.polyerrors.PolynomialError: only univariate polynomials are allowed

2013-10-28 Thread sympy
Comment #8 on issue 4023 by luca@gmail.com: solve provides the error: sympy.polys.polyerrors.PolynomialError: only univariate polynomials are allowed http://code.google.com/p/sympy/issues/detail?id=4023 So summarizing: I can solve my issue by converting my equation in a Sympy polynom an