AssumeDominant -- If true, certain functions assume that the map from X to Y is dominant.
Synopsis
Usage:
AssumeDominant=>b
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 :