> I'd love to have it. Here is how Mathematica does it: > > http://reference.wolfram.com/mathematica/guide/LogicAndBooleanAlgebra... > > so let's do the same. If you'd be interested in implementing that, > it'd be awesome. Feel free to ask if you have any problems. > > Ondrej
I am interested, though I am unfamiliar with the sympy code base. Please give me some advice on how to properly outline the data types and functions within the sympy framework. It seems like we need a new type, something like: class Boolean(Basic): ... A question of style is which operators to use: 1. A * (B + !C) 2. A and (B or not C) Should boolean expressions implicitly evaluate to (True, False) or (1,0)? Incidentally, I don't have a license for Mathematica. Sorry, I work for a large semiconductor manufacturing company, not a math research lab :). Chris --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
