isSurjective f
Checks if every vertex in the target has a preimage.
Collapsing a triangle to an edge is surjective.
|
|
|
|
|
|
The identity map should always be surjective.
|
|
The inclusion of an edge in a triangle is not surjective.
|
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/SimplicialComplexes/Documentation.m2:4265:0.