f=isSurjective(f)
The map may not be well defined. Use isWellDefined(ZZ,LieAlgebraMap) to test if the map is well defined.
|
|
|
|
|
|
|
|
|
The source of this document is in GradedLieAlgebras/doc2.m2:1934:0.