# 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

## For the programmer

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