aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-02-03 06:07:16 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-02-03 06:07:16 -0800
commit9193f9852190e4b72e094fac1e18994a940cd1d0 (patch)
tree0c9d61aa3495f0ac09c0d86347e439c306453b1c /src
parentc27c5ded576e66dd8551b3236274e73bb4fc46cc (diff)
downloadopen-axiom-9193f9852190e4b72e094fac1e18994a940cd1d0.tar.gz
Clean up IndexedDirectProductAbelianMonoid
Diffstat (limited to 'src')
-rw-r--r--src/algebra/indexedp.spad.pamphlet11
1 files changed, 2 insertions, 9 deletions
diff --git a/src/algebra/indexedp.spad.pamphlet b/src/algebra/indexedp.spad.pamphlet
index e4dd5805..c6ce02a1 100644
--- a/src/algebra/indexedp.spad.pamphlet
+++ b/src/algebra/indexedp.spad.pamphlet
@@ -163,10 +163,6 @@ IndexedDirectProductAbelianMonoid(A:AbelianMonoid,S:OrderedType):
Term == IndexedProductTerm(A,S)
import Term
- r: A
- n: NonNegativeInteger
- f: A -> A
- s: S
0 == convert nil$List(Term)
zero? x == null terms x
@@ -215,7 +211,7 @@ IndexedDirectProductAbelianMonoid(A:AbelianMonoid,S:OrderedType):
else qsetrest!(endcell, end)
convert res
- n * x ==
+ n:NonNegativeInteger * x:% ==
zero? n => 0
one? n => x
convert [term(index u,a) for u in terms x
@@ -286,11 +282,8 @@ IndexedDirectProductOrderedAbelianMonoidSup(A:OrderedAbelianMonoidSup,S:OrderedS
Join(OrderedAbelianMonoidSup,IndexedDirectProductCategory(A,S))
== IndexedDirectProductOrderedAbelianMonoid(A,S) add
--representations
- Term:= Record(k:S,c:A)
+ Term == Record(k:S,c:A)
Rep:= List Term
- x,y: %
- r: A
- s: S
subtractIfCan(x,y) ==
empty? y => just x