Re: review of Chris' 1766

I just tried to review the commits before the 'quartz' commit, I hope this is to be reviewed, if not, please create a new branch with only the commits to be reviewed. The 1766s and the 1766_s branch need to be rebased on master. So I'm getting these failures:

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

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 -- You received this message because you are subscribed to the Google Groups sympy-patches group. To post to this group, send email to