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,
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
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
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
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
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,
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 =
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 =
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
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
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
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
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₀,
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
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
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
The problem was not on master (sorry) but was caused by a modification i
did locallay.
Adding from sympy.integrals import integrate in series.py causes, with
both python3 and python 2, the ImportError.
I searched for roots and found a twisted python library file caled
roots.py
Thanks Saurabh
On Mon, Oct 28, 2013 at 9:39 AM, Saurabh Jha saurabh.j...@gmail.com wrote:
Hi,
Welcome. For newbie bugs please see [1]. You need to setup your
environment. Please see [2] for instructions.
Best
Saurabh
[1] http://code.google.com/p/sympy/issues/list?q=label:EasyToFix
[2]
Hey - I'm working on a PR now. I'll write up some tests too.
Fede
On Friday, 25 October 2013 10:07:46 UTC+2, Øyvind Jensen wrote:
On Thursday, October 24, 2013 4:48:36 PM UTC+2, Federico Vaggi wrote:
Got it. Thanks for the suggestion.
Great! How did you fix it? Would you mind to place
I'm curious why x(t) in the following code doesn't display any type:
In [9]: x = sympy.symbols('x', cls=sympy.Function)
In [10]: type(x)
Out[10]: sympy.core.function.UndefinedFunction
In [11]: t = sympy.symbols('t')
In [12]: t
Out[12]: t
In [13]: type(x(t))
Out[13]: x
Jason
moorepants.info
This is correct. type() in Python basically means class of. Function('x')
creates a class, called x. When you apply it to t, it creates an instance
of that class. The class of the class (i.e., metaclass) is
UndefinedFunction.
Aaron Meurer
On Oct 28, 2013, at 11:01 AM, Jason Moore
Oh, if it came from adding an import, then the issue is most likely
due to a circular import problem. In that case, you'll have to move
the import inside the function that needs it.
Aaron Meurer
On Mon, Oct 28, 2013 at 12:37 AM, Pablo Puente ppue...@googlemail.com wrote:
The problem was not on
Hi,
I installed sympy in python to point to my git repository with:
$ setupegg.py develop
Now I would like to remove this link to the git repository.
How could I do it?
Thanks,
Pablo
--
You received this message because you are subscribed to the Google Groups
sympy group.
To unsubscribe
Thanks for this totally in the scope of my question... ;-)
Christophe
--
You received this message because you are subscribed to the Google Groups
sympy group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sympy+unsubscr...@googlegroups.com.
To post to
You were right!
i moved, just for testing import integrate in series() and the error is
removed.
Thanks.
from __future__ import print_function, division
from sympy.core.sympify import sympify
def series(expr, x=None, x0=0, n=6, dir=+):
from sympy.integrals import integrate
Series
Thanks.
Jason
moorepants.info
+01 530-601-9791
On Mon, Oct 28, 2013 at 1:16 PM, Aaron Meurer asmeu...@gmail.com wrote:
This is correct. type() in Python basically means class of.
Function('x') creates a class, called x. When you apply it to t, it
creates an instance of that class. The
See http://stackoverflow.com/a/3613880/161801. It edits a file called
easy-install.pth in your site-packages. You need to edit that file and
remove the reference.
Aaron Meurer
On Mon, Oct 28, 2013 at 11:55 AM, Pablo Puente ppue...@googlemail.com wrote:
Hi,
I installed sympy in python to point
Put it after the doctest.
Aaron Meurer
On Mon, Oct 28, 2013 at 12:24 PM, Pablo Puente ppue...@googlemail.com wrote:
You were right!
i moved, just for testing import integrate in series() and the error is
removed.
Thanks.
from __future__ import print_function, division
from
28 matches
Mail list logo
