Re: [PATCH 1/6] logic module improvements

2009-08-12 Thread Fabian Pedregosa
Vinzent Steinberg wrote: > 2009/8/11 Fabian Pedregosa mailto:fab...@fseoane.net>> > > > Speed improvements and function fuzzy_not implemented > --- > sympy/logic/__init__.py |2 +- > sympy/logic/boolalg.py | 19 --- > 2 files changed, 13 insertions(+),

Re: [PATCH 5/6] Remove code related to .is_even and .is_odd from core classes

2009-08-12 Thread Fabian Pedregosa
Vinzent Steinberg wrote: > 2009/8/11 Fabian Pedregosa mailto:fab...@fseoane.net>> > > > No behaviour has changed, except for: > >- Real ** Even does not always get symplified by refine() to > abs(Real) ** Even, > only in the case of nested powers. This is now the same >

Re: [PATCH 0/6] Refine module

2009-08-12 Thread Fabian Pedregosa
Ondrej Certik wrote: > This still fails in the latest branch: > > bin/test sympy/concrete/tests/test_sums_products.py -k test_composite_sums > > I just sent you a login info to my amd64 box offlist, please debug it. This can be fixed by: diff --git a/sympy/core/assumptions.py b/sympy/core/ass

Re: [PATCH 0/6] Refine module

2009-08-12 Thread Vinzent Steinberg
2009/8/12 Fabian Pedregosa > > Ondrej Certik wrote: > > This still fails in the latest branch: > > > > bin/test sympy/concrete/tests/test_sums_products.py -k > test_composite_sums > > > > I just sent you a login info to my amd64 box offlist, please debug it. > > > This can be fixed by: > > diff -

Re: [PATCH 5/6] Remove code related to .is_even and .is_odd from core classes

2009-08-12 Thread Vinzent Steinberg
2009/8/12 Fabian Pedregosa > > Vinzent Steinberg wrote: > > > > Some questions: > > > > You did remove some tests. Are these things tested elsewhere? Things like > > > > >>> ask(2*n+1, Q.odd, Assume(n, Q.integer)) > > True > > I think that's in sympy/queries/tests/test_query.py line 797 > > > >

Re: [PATCH 0/6] Refine module

2009-08-12 Thread Ondrej Certik
On Wed, Aug 12, 2009 at 8:00 AM, Vinzent Steinberg wrote: > 2009/8/12 Fabian Pedregosa >> >> Ondrej Certik wrote: >> > This still fails in the latest branch: >> > >> > bin/test sympy/concrete/tests/test_sums_products.py -k >> > test_composite_sums >> > >> > I just sent you a login info to my amd6

Re: [PATCH 0/6] Refine module

2009-08-12 Thread Ondrej Certik
On Wed, Aug 12, 2009 at 11:28 AM, Ondrej Certik wrote: > On Wed, Aug 12, 2009 at 8:00 AM, Vinzent > Steinberg wrote: >> 2009/8/12 Fabian Pedregosa >>> >>> Ondrej Certik wrote: >>> > This still fails in the latest branch: >>> > >>> > bin/test sympy/concrete/tests/test_sums_products.py -k >>> > tes