Comment #1 on issue 4076 by [email protected]: Improvements to logic
module
http://code.google.com/p/sympy/issues/detail?id=4076
I agree with most of these points.
As you say, we *could* make bool-equal better architecturally, or rename it
to ensure that the user understands it (same for simplify_logic).
Originally, the idea behind simplify_logic is to convert any given
expression to its simplest form using the three fundamental boolean
operators - not, and, or. It doesn't concern itself with derived operators
like Implies/Equivalent. Maybe we could rename simplify_logic? There is,
however a way to get the simplest CNF/DNF form- use to_cnf with the
simplify parameter. Unfortunately, it seems that that has not been shown in
the docstrings. Guess we need to do it ASAP.
As far as SOPform/POSform are concerned, they aren't meant to be a part of
boolean function operation framework. They are, as you see, 'black boxes'
to generate functions based on the truth table of boolean functions. Do you
have a better method in mind to take input for them, in place of the
existing API?
If you could open a PR about these issues, maybe we could work on it
together?
About the new classes for True/False, we would require detailed discussion
before implementing anything.
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy-issues.
For more options, visit https://groups.google.com/groups/opt_out.
