Re: [Axiom-developer] 20080620.01.wxh.patch (fix directproduct multiply in Monoid)

2008-06-22 Thread root
Sorry. I thought the commit was by you. -- Tim ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] 20080620.01.wxh.patch (fix directproduct multiply in Monoid)

2008-06-22 Thread Waldek Hebisch
[EMAIL PROTECTED] wrote: > +20080620 wxh src/algebra/vector.spad handle direct product multiply AFAIK this patch is due to Bill Page. -- Waldek Hebisch [EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer

[Axiom-developer] 20080620.01.wxh.patch (fix directproduct multiply in Monoid)

2008-06-22 Thread daly
The direct product D of two (or more) copies of a monoid R is not implemented in Axiom. The scalar multiplication is implemented coordinatewise, the identity element is defined, but the monoid product between elements of D is not, and the domain is not declared as a monoid. On the other hand, if R