f=map(L,M,homdefs)
The optional inputs given above are not relevant for Lie algebras. The generators of M are mapped to the Lie elements in the last argument homdefs. The output map f might not be well defined and not commute with the differentials. It can be checked whether this is true by using isWellDefined(ZZ,LieAlgebraMap).
|
|
|
|
|
|
|
|
|
|
The source of this document is in GradedLieAlgebras/doc.m2:903:0.