On Wed, Jul 25, 2012 at 4:35 PM, Alex <[email protected]> wrote: > Hi sympy group! > > While there is some basic simplification occuring when writing logical > expressions, > I couldn't find any functionality for non-trivial logic reduction in the > current version (0.7.1) of sympy. > For example, simplifying A | (~A & B) to A | B is a nice low hanging fruit. > > I wrote some heuristic code for simplifying boolean expressions (not based > on the Quine-McCluskey algorithm > or the espresso logic minimizer) for doing just this - it still has a > slightly experimental flavor, but already does > some neat stuff. > > I think this could be a good addition to simplify's functionality. Can you > let me know if it's worth submitting a patch? > > Cheers, > > Alex
Yes, definitely. I think a heuristic simplifier is better than nothing at all. Aaron Meurer -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
