next | previous | forward | backward | up | top | index | toc | Macaulay2 website
GradedLieAlgebras :: LieAlgebra == LieAlgebra

LieAlgebra == LieAlgebra -- whether two Lie algebras are defined in the same way

Synopsis

Description

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

See also