AssumeDominant -- If true, certain functions assume that the map from X to Y is dominant.
Description
If true, certain functions assume that $f : X o Y$ is dominant. In other words that the closure of $f(X)$ is equal to $Y$. In practice, this means that a kernel of a ring map will not be computed.
Functions with optional argument named AssumeDominant :
-
inverseOfMap(..., AssumeDominant => ...)
-
isBirationalMap(..., AssumeDominant => ...)
-
isBirationalOntoImage(..., AssumeDominant => ...)
-
isEmbedding(..., AssumeDominant => ...)
-
jacobianDualMatrix(..., AssumeDominant => ...)
-
sourceInversionFactor(..., AssumeDominant => ...)