The set {0L} is an ideal in L.
i1 : L = lieAlgebra{a,b}
o1 = L
o1 : LieAlgebra
|
i2 : I=zeroIdeal L o2 = I o2 : FGLieIdeal |
i3 : J=lieIdeal{0_L,a a}
o3 = I
o3 : FGLieIdeal
|
i4 : I===J o4 = true |