> > Btw. shouldn't that be > > sage: a == b >
not for *formulas*, since say also involve the syntax. In terms of polynomials (a+b)*c==a*b+b*c But they are different formulas. Anyway: I recommend to multiply the the prop. calc. formulas by converting them to Boolean polynomials (in the quotient ring). Then you can check their equality (even for quite complex formulas using PolyBoRi). There are essentially two mappings: 1->False 0->True *->Or or 1->True 0->False *->AND Michael --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
