Macaulay2 » Documentation
Packages » GradedLieAlgebras :: FGLieIdeal

next | previous | forward | backward | up | index | toc

FGLieIdeal -- the class of all finitely generated Lie ideals

Description

This type represents finitely generated Lie ideals. It is a subtype of LieIdeal, but not of FGSubAlgebra.

i1 : L = lieAlgebra{a,b}

o1 = L

o1 : LieAlgebra

i2 : S=lieIdeal{a}

o2 = S

o2 : FGLieIdeal

See also

LieIdeal -- the class of all Lie ideals
FGLieSubAlgebra -- the class of all finitely generated Lie subalgebras

For the programmer

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