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.