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.