diff options
author | dos-reis <gdr@axiomatics.org> | 2011-09-15 15:09:25 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-09-15 15:09:25 +0000 |
commit | 9025c74466dcd1c38dde5e4c63934ff0b2e4f18d (patch) | |
tree | 447b28f9159920ca29a18fa9647bf7120dc3619c /src/algebra/carten.spad.pamphlet | |
parent | f5060cfd48a6993c7a6bd6b739e3d37bd234453a (diff) | |
download | open-axiom-9025c74466dcd1c38dde5e4c63934ff0b2e4f18d.tar.gz |
* algebra/alql.spad.pamphlet (IndexCard): Now satisfies
CoercibleFrom String. Remove explicit coerce export.
* algebra/carten.spad.pamphlet (CartesianTensor): Remove explicit
coerce export. Add satisfaction of CoercibleFrom appropriate
domains.
* algebra/color.spad.pamphlet (Palette): Relace explicit coerce
export with CoercibleTo %.
* algebra/constant.spad.pamphlet (InnerAlgebraicNumber): Likewise.
* algebra/dpolcat.spad.pamphlet (DifferentialVariableCategory):
Likewise.
Diffstat (limited to 'src/algebra/carten.spad.pamphlet')
-rw-r--r-- | src/algebra/carten.spad.pamphlet | 17 |
1 files changed, 3 insertions, 14 deletions
diff --git a/src/algebra/carten.spad.pamphlet b/src/algebra/carten.spad.pamphlet index 2e0369dd..a1fd01f6 100644 --- a/src/algebra/carten.spad.pamphlet +++ b/src/algebra/carten.spad.pamphlet @@ -131,20 +131,9 @@ CartesianTensor(minix, dim, R): Exports == Implementation where R: CommutativeRing 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. - coerce: SM(dim, R) -> % - ++ coerce(m) views a matrix as a rank 2 tensor. - - coerce: List R -> % - ++ coerce([r_1,...,r_dim]) allows tensors to be constructed - ++ using lists. - - coerce: List % -> % - ++ coerce([t_1,...,t_dim]) allows tensors to be constructed - ++ using lists. + Eltable(I,R),CoercibleFrom DP(dim,R),_ + CoercibleFrom SM(dim,R),CoercibleFrom List R,_ + CoercibleFrom List %) with rank: % -> NNI ++ rank(t) returns the tensorial rank of t (that is, the |