Put unit propagation and pure literal rules inside the same loop (reducing the number of choices needed).

[Christian Muise]

This corresponds to issue 1875 ( http://code.google.com/p/sympy/issues/detail?id=1875
).

Branch is 'unit-prop' at git://github.com/haz/sympy.git

[Vinzent Steinberg]

2010/3/26 Christian Muise <christi...@gmail.com>:

> This corresponds to issue 1875 ( http://code.google.com/p/sympy/issues/detail?id=1875
> ).
>
>  Branch is 'unit-prop' at git://github.com/haz/sympy.git

I think when cleaning up your branches on github you deleted this one.

Vinzent

[Christian Muise]

That was intentional. Issue 1875 has since been marked invalid so I removed the branch (it was a fix that fixed nothing). Issue 1879 is the current patch unchecked. Message is here:
- http://groups.google.com/group/sympy-patches/browse_thread/thread/b209b7986080d7d0

--
You received this message because you are subscribed to the Google Groups "sympy-patches" group.
To post to this group, send email to sympy-...@googlegroups.com.
To unsubscribe from this group, send email to sympy-patche...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/sympy-patches?hl=en.

[Vinzent Steinberg]

2010/4/2 Christian Muise <christi...@gmail.com>:

> That was intentional. Issue 1875 has since been marked invalid so I removed
> the branch (it was a fix that fixed nothing). Issue 1879 is the current
> patch unchecked. Message is here:
> -
> http://groups.google.com/group/sympy-patches/browse_thread/thread/b209b7986080d7d0

I think I already reviewed this one positively, didn't I?

Vinzent

[Christian Muise]

It got the +1, but never made it into the repo.

Vinzent

[Vinzent Steinberg]

2010/4/2 Christian Muise <christi...@gmail.com>:

> It got the +1, but never made it into the repo.

I think someone wanted the opinion of Fabian, but I'll push it in soon.

Vinzent

[Vinzent Steinberg]

2010/4/2 Vinzent Steinberg <vinzent....@googlemail.com>:

It's in.