-- -*- M2-comint -*- hash: 6417436618339953284

i1 : F=lieAlgebra{a,b,c}

o1 = F

o1 : LieAlgebra

i2 : I=lieIdeal{a a b,a a c}

o2 = I

o2 : FGLieIdeal

i3 : L=F/I

o3 = L

o3 : LieAlgebra

i4 : gens I

o4 = { - (a b a),  - (a c a)}

o4 : List

i5 : J=kernel map(L,F)

o5 = J

o5 : LieIdeal

i6 : gens J
the subspace has no generators

i7 : 
     
