ScriptedFunctor _ LieAlgebra -- get the identity homomorphism

Synopsis

• Operator: _

• Usage:

  f=id_L

• Inputs:
  • id, a scripted functor,
  • L, an instance of the type LieAlgebra,
• Outputs:
  • f, an instance of the type LieAlgebraMap, the identity homomorphism from $L$ to $L$

Description

i1 : L = lieAlgebra{a,b}

o1 = L

o1 : LieAlgebra

i2 : id_L

o2 = id_L

o2 : LieAlgebraMap

i3 : peek oo

o3 = LieAlgebraMap{a => a                      }
                   b => b
                   cache => CacheTable{...1...}
                   source => L
                   target => L