Q=L/f
This is the same as $L$ modulo the set of values of $f$ applied to the generators of the source of $f$.
|
|
|
|
|
|
The source of this document is in GradedLieAlgebras/doc.m2:1753:0.