Re: [sympy] simplify() logical expressions
97 views
Skip to first unread message
Aaron Meurer
Jul 25, 2012, 7:48:19 PM7/25/12
to sy...@googlegroups.com
On Wed, Jul 25, 2012 at 4:35 PM, Alex <alex.kan...@gmail.com> 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
> 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
Alex
Jul 25, 2012, 9:25:50 PM7/25/12
to sy...@googlegroups.com
Cool! I'll have a look at it.
Alex
Reply all
Reply to author
Forward
0 new messages