diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-25 16:38:20 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-25 16:38:20 +0000 |
| commit | 34e65d98b111655f53e73f8ed59589d5b58ab98c (patch) | |
| tree | d2176581979d41f659ac0b5b472e995c5c22f0ae | |
| parent | 73bd42eeaf4c343433721630d86fb80fc5d04afd (diff) | |
| download | open-axiom-34e65d98b111655f53e73f8ed59589d5b58ab98c.tar.gz | |
* algebra/indexedp.spad.pamphlet (IndexedDirectProductObject):
Define Rep, do not use base-domain form.
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/algebra/indexedp.spad.pamphlet | 4 |
2 files changed, 8 insertions, 1 deletions
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 |