diff options
Diffstat (limited to 'src/algebra/xlpoly.spad.pamphlet')
| -rw-r--r-- | src/algebra/xlpoly.spad.pamphlet | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/algebra/xlpoly.spad.pamphlet b/src/algebra/xlpoly.spad.pamphlet index f607199d..6090799a 100644 --- a/src/algebra/xlpoly.spad.pamphlet +++ b/src/algebra/xlpoly.spad.pamphlet @@ -353,11 +353,6 @@ import Field ++ \axiomType{LiePolynomial} and ++ \axiomType{XPBWPolynomial}. \newline Author : Michel Petitot (petitot@lifl.fr). LieAlgebra(R: CommutativeRing): Category == Module(R) with - --attributes - NullSquare - ++ \axiom{NullSquare} means that \axiom{[x,x] = 0} holds. - JacobiIdentity - ++ \axiom{JacobiIdentity} means that \axiom{[x,[y,z]]+[y,[z,x]]+[z,[x,y]] = 0} holds. --exports construct: ($,$) -> $ ++ \axiom{construct(x,y)} returns the Lie bracket of \axiom{x} and \axiom{y}. |