T=quotient(I,S)
The optional inputs given above are not relevant for Lie algebras. A Lie element $x$ is in $T$ if $x$ multiplies all the generators of $S$ into $I$. However, $T$ is not in general finitely generated.
|
|
|
|
|
The source of this document is in GradedLieAlgebras/doc.m2:1439:0.