I=zeroIdeal(L)
The set \{$0_L$\}\ 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
The object zeroIdeal is a method function.