From 34e65d98b111655f53e73f8ed59589d5b58ab98c Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 25 May 2013 16:38:20 +0000
Subject: * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject):
Define Rep, do not use base-domain form.
---
src/ChangeLog | 5 +++++
src/algebra/indexedp.spad.pamphlet | 4 +++-
2 files changed, 8 insertions(+), 1 deletion(-)
(limited to 'src')
diff --git a/src/ChangeLog b/src/ChangeLog
index f532239a..73a80493 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2013-05-25 Gabriel Dos Reis <gdr@integrable-solutions.net>
+
+ * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject):
+ Define Rep, do not use base-domain form.
+
2013-05-23 Gabriel Dos Reis <gdr@integrable-solutions.net>
* algebra/stream.spad.pamphlet (LazyStreamAggregate) [entries]:
diff --git a/src/algebra/indexedp.spad.pamphlet b/src/algebra/indexedp.spad.pamphlet
index d97010d9..beee92ac 100644
--- a/src/algebra/indexedp.spad.pamphlet
+++ b/src/algebra/indexedp.spad.pamphlet
@@ -96,12 +96,14 @@ IndexedDirectProductObject(A,S): Public == Private where
++ index-wise, coefficients of \spad{u} and \spad{u} if when
++ satisfy the predicate \spad{p}. Those pairs of coefficients
++ which fail\spad{p} are implicitly ignored.
- Private == List IndexedProductTerm(A,S) add
+ Private == add
+ Rep == List IndexedProductTerm(A,S)
if A has CoercibleTo OutputForm and S has CoercibleTo OutputForm then
coerce(x:%):OutputForm ==
bracket [rarrow(index(t)::OutputForm, coefficient(t)::OutputForm)
for t in rep x]
+ x = y == rep x = rep y
monomial(r,s) == per [term(s,r)]
map(f,x) == per [term(index tm,f coefficient tm) for tm in rep x]
reductum x == per rest rep x
--
cgit v1.2.3