This type represents Lie subspaces, and has the subtypes LieIdeal, FGLieIdeal, LieSubAlgebra, FGLieSubAlgebra. A Lie subspace need not be invariant under the differential.
|
|
|
|
|
|
The object LieSubSpace is a type, with ancestor classes VectorSpace < HashTable < Thing.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/GradedLieAlgebras/doc.m2:352:0.