MapLie -- a Type for Lie algebra homomorphisms

Description

This Type represents homomorphisms of graded (differential) Lie algebras.

i1 : L=lieAlgebra({x},{})

o1 = L

o1 : LieAlgebra

i2 : M=lieAlgebra({x,y},{})

o2 = M

o2 : LieAlgebra

i3 : f = mapLie(L,M,{[x],[]})

o3 = f

o3 : MapLie

i4 : peek f

o4 = MapLie{sourceLie => M}
            targetLie => L
            x => [x]
            y => []

derLie(MapLie,List), see derLie -- constructing a graded derivation
evalMapLie(MapLie,Array), see evalMapLie -- the value of a Lie homomorphism applied to an argument
evalMapLie(MapLie,List), see evalMapLie -- the value of a Lie homomorphism applied to an argument
imageBasisLie(ZZ,MapLie), see imageBasisLie -- a basis of the image of a Lie homomorphism in a specified degree
imageBasisLie(ZZ,ZZ,MapLie), see imageBasisLie -- a basis of the image of a Lie homomorphism in a specified degree
invImageBasisLie(ZZ,MapLie,List), see invImageBasisLie -- computes a basis for the inverse image of a map or derivation
invImageBasisLie(ZZ,ZZ,MapLie,List), see invImageBasisLie -- computes a basis for the inverse image of a map or derivation
invImageLie(ZZ,MapLie,List), see invImageLie -- computes the dimension for the inverse image of a map or derivation
invImageLie(ZZ,ZZ,MapLie,List), see invImageLie -- computes the dimension for the inverse image of a map or derivation
kernelBasisLie(ZZ,MapLie), see kernelBasisLie -- a basis of the kernel of a Lie homomorphism in a specified degree
kernelBasisLie(ZZ,ZZ,MapLie), see kernelBasisLie -- a basis of the kernel of a Lie homomorphism in a specified degree

The object MapLie is a type, with ancestor classes MutableHashTable < HashTable < Thing.