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