diff options
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 |