[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#117 Inheritance of Monoid Structure in Direct Produc
From: |
wyscc |
Subject: |
[Axiom-developer] [#117 Inheritance of Monoid Structure in Direct Product] Proposed patch (aside: display problem) |
Date: |
Sat, 05 Mar 2005 21:23:06 -0600 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#117 Inheritance of Monoid Structure in Direct Product] Proposed patch (aside: display problem),
wyscc <=