[Axiom-developer] [#117 Inheritance of Monoid Structure in Direct Product] Proposed patch (aside: display problem)

[wyscc]

Changes 
http://page.axiom-developer.org/zope/mathaction/117InheritanceOfMonoidStructureInDirectProduct/diff
--

++added:

Proposed patch:

Proposed patch in vector.spad

DirectProductCategory

<code>
262d261
         if R has Monoid then
+++        Monoid
           _* : (R, %) -> %

DirectProduct

371d369
      if R has Monoid then
        1 == new(dim, 1)$Vector(R) pretend %
        u:% * r:R       == map(#1 * r, u)
        r:R * u:%       == map(r * #1, u)
+++     x:% * y:%       == [x.i * y.i for i in 1..dim]$Vector(R) pretend %
</code>

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden