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/
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
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
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