g = a f
The symbol SPACE is used as notation for multiplication by scalars. The scalars are of type Number if the field is QQ, otherwise the scalars are of type RingElement.
|
|
|
|
The source of this document is in GradedLieAlgebras/doc.m2:2421:0.