f = map(d)
The optional inputs given above are not relevant for Lie algebras. If $d$ is a derivation $M \ \to\ L$, then there is defined a Lie algebra map $f: M \ \to\ L$, which determines the $M$-module-structure on $L$, and this map is represented by map(d).
|
|
|
|
|
|
The source of this document is in GradedLieAlgebras/doc.m2:1017:0.