diff options
Diffstat (limited to 'src/algebra/carten.spad.pamphlet')
| -rw-r--r-- | src/algebra/carten.spad.pamphlet | 5 |
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 |