[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#117 Inheritance of Monoid Structure in Direct Produc
[Axiom-developer] [#117 Inheritance of Monoid Structure in Direct Product]
Fri, 04 Mar 2005 23:37:43 -0600
Does any one know why the direct product D of two (or more) copies of a monoid
R is not implemented as a monoid 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 is a ring, then the direct
product is a ring. See <code>vector.spad</code>.
NNI has Monoid
NNI2 has Monoid
DirectProduct(2, INT) has Ring
Note how <I>smart</I> the Interpreter is to recognize that <code>c</code> is
really a scalar.
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden
|[Prev in Thread]
||[Next in Thread]|
- [Axiom-developer] [#117 Inheritance of Monoid Structure in Direct Product],