map(LieAlgebra) -- get the map of a minimal model

Synopsis

• Function: map

• Usage:

  f = map(M)

• Inputs:
  • M, an instance of the type LieAlgebra, the minimal model
• Optional inputs:
  • Degree => ..., default value null,
  • DegreeLift => ..., default value null,
  • DegreeMap => ..., default value null,
• Outputs:
  • f, an instance of the type LieAlgebraMap,

Description

i1 : L=lieAlgebra{a,b,c}/{a b,a b c}

o1 = L

o1 : LieAlgebra

i2 : M=minimalModel(3,L)

o2 = M

o2 : LieAlgebra

i3 : describe map(M)

o3 = fr  => a
       0
     fr  => b
       1
     fr  => c
       2
     fr  => 0
       3
     fr  => 0
       4
     source => M
     target => L

See also

• map(LieAlgebra,LieAlgebra,List) -- make a Lie algebra homomorphism
• map(LieAlgebra,LieAlgebra) -- make a natural Lie algebra homomorphism
• map(LieDerivation) -- get the map in the definition of a Lie derivation
• minimalModel -- compute the minimal model
• Differential Lie algebra tutorial