I=kernel(d)
The optional input given above is not relevant for Lie algebras. If $d$ commutes with the differentials in the source and target of $d$, then the output is of type LieSubAlgebra. Otherwise, the output is of type LieSubSpace.
|
|
|
|
|
|
|
|
The source of this document is in GradedLieAlgebras/doc.m2:1515:0.