Comment #1 on issue 4076 by srjoglek...@gmail.com: Improvements to logic
module
http://code.google.com/p/sympy/issues/detail?id=4076
I agree with most of these points.
As you say, we *could* make bool-equal better architecturally, or rename it
to ensure that the user understands it (same fo
Status: Valid
Owner:
CC: smi...@gmail.com, srjoglek...@gmail.com
Labels: Type-Enhancement Priority-Medium Logic
New issue 4076 by asmeu...@gmail.com: Improvements to logic module
http://code.google.com/p/sympy/issues/detail?id=4076
Sachin, Chris, I see that you wrote most of the code I'm r
Comment #2 on issue 4075 by christian.muise: More efficient to_cnf
http://code.google.com/p/sympy/issues/detail?id=4075
Any conversion to CNF using Tseitin (or a related approach) will have
auxiliary variables introduced. The encoding time goes down, but the
solving time increases (sometimes
Comment #1 on issue 4075 by asmeu...@gmail.com: More efficient to_cnf
http://code.google.com/p/sympy/issues/detail?id=4075
The algorithm apparently works by adding new symbols to the expression. The
guarantee is made that the new expression is satisfiable if and only if the
original was, and
Status: Valid
Owner:
Labels: Type-Defect Priority-High Assumptions Logic
New issue 4075 by asmeu...@gmail.com: More efficient to_cnf
http://code.google.com/p/sympy/issues/detail?id=4075
to_cnf needs to be more efficient. For some expressions, it takes forever
and produces huge expressions
Comment #1 on issue 4074 by ppue...@googlemail.com:
laplace_transform(sinh(w*t)*cosh(w*t), t, s) AttributeError
http://code.google.com/p/sympy/issues/detail?id=4074
A slightly different one:
laplace_transform(sinh(t)*cosh(t), t, s)
raises same error with different message:
/home/pape/sympy/s
Status: New
Owner:
Labels: Type-Defect Priority-Medium
New issue 4074 by ppue...@googlemail.com:
laplace_transform(sinh(w*t)*cosh(w*t), t, s) AttributeError
http://code.google.com/p/sympy/issues/detail?id=4074
from sympy import *
t = symbols('t', real=True, positive=True)
w = symbols('w
Updates:
Labels: EasyToFix
Comment #3 on issue 4071 by skirpic...@gmail.com: Add sympy.cbrt
http://code.google.com/p/sympy/issues/detail?id=4071
(No comment was entered for this change.)
--
You received this message because this project is configured to send all
issue notifications to
Updates:
Status: NeedsDecision
Comment #2 on issue 4071 by skirpic...@gmail.com: Add sympy.cbrt
http://code.google.com/p/sympy/issues/detail?id=4071
There is a cbrt function in the C standard. Perhaps, that is a reason to
include this method just as sqrt.
--
You received this messag
Comment #1 on issue 3608 by ppue...@googlemail.com: Issues with
trigfunctions.equals
http://code.google.com/p/sympy/issues/detail?id=3608
Fixed in https://github.com/sympy/sympy/pull/2551
--
You received this message because this project is configured to send all
issue notifications to thi
Comment #11 on issue 1475 by skirpic...@gmail.com: New implementation
of .eval in trigonometric functions, implementing sec, csc
http://code.google.com/p/sympy/issues/detail?id=1475
https://github.com/sympy/sympy/pull/2551
--
You received this message because this project is configured to se
Comment #2 on issue 4068 by skirpic...@gmail.com: series(sqrt(sec(x)), x,
x0=pi*3/2, n=4) raises PoleError
http://code.google.com/p/sympy/issues/detail?id=4068
https://github.com/sympy/sympy/pull/2551
--
You received this message because this project is configured to send all
issue notific
12 matches
Mail list logo
