isDominant f
A morphism of varieties is dominant if the image is dense. For a toric map, it suffices to check that the dimension of the image is the dimension of the target.
We demonstrate that the natural inclusion from the affine plane into the projective plane is a dominant, but not surjective
|
|
|
|
|
|
A toric map from the projective line to the projective plane is not dominant.
|
|
|
|
|
To avoid repeating a computation, the package caches the result in the CacheTable of the toric map.