diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-04-26 02:05:39 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-04-26 02:05:39 +0000 |
| commit | 95a8891a808572509f7449aa32022df42f8b7ab8 (patch) | |
| tree | b68be5fd0d707dfc45eb4db560775b1ca01849f3 /src/algebra/aggcat.spad.pamphlet | |
| parent | f50462616a6319727efb50c267a105166f5275e8 (diff) | |
| download | open-axiom-95a8891a808572509f7449aa32022df42f8b7ab8.tar.gz | |
* algebra/carten.spad.pamphlet (CartesianTensor): Satisfy
instantiation of Eltable.
* algebra/clifford.spad.pamphlet (QuadraticForm): Likewise.
* algebra/domain.spad.pamphlet (DomainTemplate): Likewise.
* algebra/files.spad.pamphlet (Library): Likewise.
* algebra/aggcat.spad.pamphlet (LinearAggregate): Extend
instantiation of Eltable.
* algebra/naalg.spad.pamphlet (FiniteRankNonAssociativeAlgebra):
Likewise.
* algebra/pscat.spad.pamphlet (UnivariatePowerSeriesCategory):
Likewise.
* algebra/sex.spad.pamphlet (SExpressionCategory): Likewise.
* algebra/Makefile.pamphlet: Update rules.
Diffstat (limited to 'src/algebra/aggcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/aggcat.spad.pamphlet | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index d0d0db69..4f9ebe62 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -1811,7 +1811,8 @@ import Integer ++ as well to finite ones. ++ For finite linear aggregates, see \spadtype{FiniteLinearAggregate}. LinearAggregate(S:Type): Category == - Join(IndexedAggregate(Integer, S), Collection(S)) with + Join(IndexedAggregate(Integer, S), Collection(S),_ + Eltable(UniversalSegment Integer, %)) with new : (NonNegativeInteger,S) -> % ++ new(n,x) returns \axiom{fill!(new n,x)}. concat: (%,S) -> % @@ -1835,10 +1836,6 @@ LinearAggregate(S:Type): Category == ++ map(f,u,v) returns a new collection w with elements \axiom{z = f(x,y)} ++ for corresponding elements x and y from u and v. ++ Note: for linear aggregates, \axiom{w.i = f(u.i,v.i)}. - elt: (%,UniversalSegment(Integer)) -> % - ++ elt(u,i..j) (also written: \axiom{a(i..j)}) returns the aggregate of - ++ elements \axiom{u} for k from i to j in that order. - ++ Note: in general, \axiom{a.s = [a.k for i in s]}. delete: (%,Integer) -> % ++ delete(u,i) returns a copy of u with the \axiom{i}th element deleted. ++ Note: for lists, \axiom{delete(a,i) == concat(a(0..i - 1),a(i + 1,..))}. |