> > A question of style is which operators to use: > > 1. A * (B + !C) > > 2. A and (B or not C) > > "!" is not a Python operator, is it? So this leaves the option 2.
Yes, you are right. How about option3 (bit-wise): A & (B | ~C) M | (P ^ Q) # XOR, which isn't canonical, but very common. It's too bad Python doesn't have an implication operator, like '->' or '=>'. That would be convenient. > I suggest you try to create simple classes to do what you want and > post here your progress and we'll help with it. E.g. fork our git repo > and publish your changes for example to github and we'll iteratively > get there. Btw, we also have an assumptions inference engine here: > > http://hg.sympy.org/sympy/file/dab6435e04fd/sympy/core/facts.py > > maybe something could be used from that. > > We really need this functionality in the general assumptions system, > so we definitely need all the things you want, someone just need to do > it. > > Ondrej I will start working on this. --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
