Comment #1 on issue 1928 by basti.kr: Boolean algebra inconsistencies
http://code.google.com/p/sympy/issues/detail?id=1928
* Equivalent required its arguments to have arithmetic comparison
defined.
You also changed its behavior.
Before it was:
In [1]: Equivalent(x,x,y)
Out[1]:
Hi Mateusz,
This works with the high-level code but does not work with the low-
level code in polys9:
from sympy.polys.monomialtools import monomial_lex_key as O_lex
from sympy.polys.groebnertools import *
from sympy.polys.polytools import basic_from_dict
gens = [x,y]
u = 1
f =
Hi,
On Sun, May 02, 2010 at 08:29:44AM -0700, Ben Goodrich wrote:
Hi Mateusz,
This works with the high-level code but does not work with the low-
level code in polys9:
from sympy.polys.monomialtools import monomial_lex_key as O_lex
from sympy.polys.groebnertools import *
from
The last few days I spent quite some time on understanding the pattern
matching and substitution logic in sympy and trying out ideas to
improve them. Now I feel able and willing to redesign most of the
stuff and will in the following give an overview about my plans.
The ultimate goal is to have a
Sorry. You had said that already, but it did not stick in my brain. --
Ben
--
You received this message because you are subscribed to the Google Groups
sympy group.
To post to this group, send email to sy...@googlegroups.com.
To unsubscribe from this group, send email to
On May 2, 2010, at 10:46 AM, basti wrote:
The last few days I spent quite some time on understanding the pattern
matching and substitution logic in sympy and trying out ideas to
improve them. Now I feel able and willing to redesign most of the
stuff and will in the following give an overview
Regarding your guides:
I'm assuming match() is not implemented yet, so the doctests shouldn't be
working (they don't). Even so, I see this:
match(x+y, x+u)
{u: x+y}
Shouldn't it rather be {u: y}.
Regarding evenness, does that mean you will fix issue 1784? (+1) By the way,
some of this
On 05/02/2010 07:58 PM, Aaron S. Meurer wrote:
Regarding your guides:
I'm assuming match() is not implemented yet, so the doctests shouldn't be
working (they don't). Even so, I see this:
match(x+y, x+u)
{u: x+y}
Shouldn't it rather be {u: y}.
Sorry, I forgot pushing