L==M
Two objects L and M of type LieAlgebra satisfies L==M if they have the same generators, weights, signs, field, defining ideal, and differential.
i1 : F = lieAlgebra{a,b} o1 = F o1 : LieAlgebra
i2 : I = lieIdeal{a a b} o2 = I o2 : FGLieIdeal
i3 : L=F/{a a b} o3 = L o3 : LieAlgebra
i4 : M=F/I o4 = M o4 : LieAlgebra
i5 : L==M o5 = true
i6 : L===M o6 = false