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

LieAlgebraMap == LieAlgebraMap -- whether two Lie algebra homomorphisms are defined in the same way

Synopsis

Description

Two objects f and g of type LieAlgebraMap satisfies f==g if source f==source g, target f==target g, and the values of the generators of source f under f considered as elements in target g are the same as the values of the generators of source g under g.

i1 : F = lieAlgebra{a,b}

o1 = F

o1 : LieAlgebra
i2 : I = lieIdeal{a a b}

o2 = I

o2 : FGLieIdeal
i3 : f = map(F/I,F)

o3 = f

o3 : LieAlgebraMap
i4 : G = lieAlgebra{a,b}

o4 = G

o4 : LieAlgebra
i5 : g=map(G/{a a b},G)

o5 = g

o5 : LieAlgebraMap
i6 : f==g

o6 = true
i7 : f===g

o7 = false

See also