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/sex.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/sex.spad.pamphlet')
| -rw-r--r-- | src/algebra/sex.spad.pamphlet | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/algebra/sex.spad.pamphlet b/src/algebra/sex.spad.pamphlet index d688f92b..89613f49 100644 --- a/src/algebra/sex.spad.pamphlet +++ b/src/algebra/sex.spad.pamphlet @@ -30,7 +30,8 @@ SExpressionCategory(Str, Sym, Int, Flt, Expr): Category == Decl where Decl == Join(SetCategory,ConvertibleFrom Str, ConvertibleFrom Sym,_ ConvertibleFrom Int, ConvertibleFrom Flt,_ ConvertibleFrom Flt, ConvertibleFrom Expr,_ - ConvertibleFrom List %) with + ConvertibleFrom List %, Eltable(Integer,%),_ + Eltable(List Integer, %)) with eq: (%,%) -> Boolean ++ eq(s, t) is true if EQ(s,t) is true in Lisp. null?: % -> Boolean @@ -72,10 +73,6 @@ SExpressionCategory(Str, Sym, Int, Flt, Expr): Category == Decl where ++ cdr((a1,...,an)) returns \spad{(a2,...,an)}. #: % -> Integer ++ #((a1,...,an)) returns n. - elt: (%, Integer) -> % - ++ elt((a1,...,an), i) returns \spad{ai}. - elt: (%, List Integer) -> % - ++ elt((a1,...,an), [i1,...,im]) returns \spad{(a_i1,...,a_im)}. @ \section{domain SEXOF SExpressionOf} |