[sage-support] Re: [sage-edu] Re: matrix over the booleans

2008-05-14 Thread William Stein
On Wed, May 14, 2008 at 6:57 AM, David Joyner <[EMAIL PROTECTED]> wrote: > > On Wed, May 14, 2008 at 8:54 AM, Pedro Patricio <[EMAIL PROTECTED]> wrote: >> >> nope, booleans means 1+1=1. >> take + as OR and * as AND in the propositional calculus. So 1+1 = 1 and 1*1 = 1 and 1*0 = 0 and 1+0 = 1 an

[sage-support] Re: [sage-edu] Re: matrix over the booleans

2008-05-14 Thread David Joyner
On Wed, May 14, 2008 at 8:54 AM, Pedro Patricio <[EMAIL PROTECTED]> wrote: > > nope, booleans means 1+1=1. > take + as OR and * as AND in the propositional calculus. I was afraid you were going to say that:-) Does this help any? sage: B = BooleanPolynomialRing(1,'x') sage: x = B.gen() sage: x