[sage-devel] Re: coercion and monoids

2008-01-11 Thread Robert Bradshaw
On Jan 11, 2008, at 4:19 AM, Burcin Erocal wrote: > On Fri, 4 Jan 2008 18:03:23 -0800 > Robert Bradshaw <[EMAIL PROTECTED]> wrote: > >> I'm going to separate the issues here--multiplication and addition. >> The former is easily handled by implementing the coercion ZZ -> >> BooleanMonomials via Z/

[sage-devel] Re: coercion and monoids

2008-01-11 Thread Burcin Erocal
On Fri, 4 Jan 2008 18:03:23 -0800 Robert Bradshaw <[EMAIL PROTECTED]> wrote: > I'm going to separate the issues here--multiplication and addition. > The former is easily handled by implementing the coercion ZZ -> > BooleanMonomials via Z/2Z. David Roe and I still need to finish > pushing th

[sage-devel] Re: coercion and monoids

2008-01-04 Thread Robert Bradshaw
Hi, I'm going to separate the issues here--multiplication and addition. The former is easily handled by implementing the coercion ZZ -> BooleanMonomials via Z/2Z. David Roe and I still need to finish pushing the new coercion model through, but I've been sidetracked doing 3d and other stuf

[sage-devel] Re: coercion and monoids

2008-01-02 Thread William Stein
On Dec 29, 2007 6:53 AM, Burcin Erocal <[EMAIL PROTECTED]> wrote: > > Hello, > > I'm having trouble implementing arithmetic for BooleanMonomials, which > are elements of a monoid. > > Multiplication of BooleanMonomials work fine using the coercion model, > but the following doesn't work, since the