aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/carten.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-04-26 02:05:39 +0000
committerdos-reis <gdr@axiomatics.org>2010-04-26 02:05:39 +0000
commit95a8891a808572509f7449aa32022df42f8b7ab8 (patch)
treeb68be5fd0d707dfc45eb4db560775b1ca01849f3 /src/algebra/carten.spad.pamphlet
parentf50462616a6319727efb50c267a105166f5275e8 (diff)
downloadopen-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/carten.spad.pamphlet')
-rw-r--r--src/algebra/carten.spad.pamphlet5
1 files changed, 2 insertions, 3 deletions
diff --git a/src/algebra/carten.spad.pamphlet b/src/algebra/carten.spad.pamphlet
index 2484508c..65630dc3 100644
--- a/src/algebra/carten.spad.pamphlet
+++ b/src/algebra/carten.spad.pamphlet
@@ -130,7 +130,8 @@ CartesianTensor(minix, dim, R): Exports == Implementation where
dim: NNI
R: CommutativeRing
- Exports ==> Join(GradedAlgebra(R, NNI), GradedModule(I, NNI)) with
+ Exports ==> Join(GradedAlgebra(R, NNI), GradedModule(I, NNI),_
+ Eltable(I,R)) with
coerce: DP(dim, R) -> %
++ coerce(v) views a vector as a rank 1 tensor.
@@ -152,8 +153,6 @@ CartesianTensor(minix, dim, R): Exports == Implementation where
elt: (%) -> R
++ elt(t) gives the component of a rank 0 tensor.
- elt: (%, I) -> R
- ++ elt(t,i) gives a component of a rank 1 tensor.
elt: (%, I, I) -> R
++ elt(t,i,j) gives a component of a rank 2 tensor.
elt: (%, I, I, I) -> R