Macaulay2 » Documentation
Packages » GradedLieAlgebras :: LieSubAlgebra
next | previous | forward | backward | up | index | toc

LieSubAlgebra -- the class of all Lie subalgebras

Description

This type represents Lie subalgebras (which are invariant under the differential), and has the subtypes LieIdeal, FGLieIdeal, FGLieSubAlgebra.

i1 : L = lieAlgebra{a,b}

o1 = L

o1 : LieAlgebra
 
i2 : S=lieSubAlgebra{a}

o2 = S

o2 : FGLieSubAlgebra
 
i3 : I=lieIdeal{a}

o3 = I

o3 : FGLieIdeal
 
i4 : instance(I,LieSubAlgebra)

o4 = true
 
i5 : instance(I,FGLieSubAlgebra)

o5 = false

See also

Types of LieSubAlgebra:

For the programmer

The object LieSubAlgebra is a type, with ancestor classes LieSubSpace < VectorSpace < HashTable < Thing.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/GradedLieAlgebras/doc.m2:377:0.