next | previous | forward | backward | up | top | index | toc | Macaulay2 website
RationalMaps :: AssumeDominant

AssumeDominant -- If true, certain functions assume that the map from X to Y is dominant.

Synopsis

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 :

For the programmer

The object AssumeDominant is a symbol.