diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 02:56:09 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 02:56:09 -0800 |
| commit | 9213251560073e45e73ae94c46bc382a625a57bb (patch) | |
| tree | 97f670bfbfa3f73f1b00912f120c4998a9a04e8d /src/algebra/xlpoly.spad.pamphlet | |
| parent | d0740d0ba443f0f24c78d321e15b41bb6c45cecd (diff) | |
| download | open-axiom-9213251560073e45e73ae94c46bc382a625a57bb.tar.gz | |
Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, central, noetherian, NullSquare, JacobiIdentity.
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}. |