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/naalgc.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/naalgc.spad.pamphlet')
| -rw-r--r-- | src/algebra/naalgc.spad.pamphlet | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/algebra/naalgc.spad.pamphlet b/src/algebra/naalgc.spad.pamphlet index 3cee9c8a..b0d5b2d3 100644 --- a/src/algebra/naalgc.spad.pamphlet +++ b/src/algebra/naalgc.spad.pamphlet @@ -910,8 +910,8 @@ FiniteRankNonAssociativeAlgebra(R:CommutativeRing): ++ \spadtype{FiniteRankNonAssociativeAlgebra} (i.e. a non associative ++ algebra over R which is a free \spad{R}-module of finite rank) ++ over a commutative ring R together with a fixed \spad{R}-module basis. -FramedNonAssociativeAlgebra(R:CommutativeRing): - Category == FiniteRankNonAssociativeAlgebra(R) with +FramedNonAssociativeAlgebra(R:CommutativeRing): Category == _ + Join(FiniteRankNonAssociativeAlgebra(R),Eltable(Integer,R)) with --operations basis: () -> Vector % ++ basis() returns the fixed \spad{R}-module basis. @@ -923,9 +923,6 @@ FramedNonAssociativeAlgebra(R:CommutativeRing): ++ coordinates([a1,...,am]) returns a matrix whose i-th row ++ is formed by the coordinates of \spad{ai} with respect to the ++ fixed \spad{R}-module basis. - elt : (%,Integer) -> R - ++ elt(a,i) returns the i-th coefficient of \spad{a} with respect to the - ++ fixed \spad{R}-module basis. structuralConstants:() -> Vector Matrix R ++ structuralConstants() calculates the structural constants ++ \spad{[(gammaijk) for k in 1..rank()]} defined by |