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 :

• "inverseOfMap(...,AssumeDominant=>...)"
• "isBirationalMap(...,AssumeDominant=>...)"
• "isBirationalOntoImage(...,AssumeDominant=>...)"
• "isEmbedding(...,AssumeDominant=>...)"
• "jacobianDualMatrix(...,AssumeDominant=>...)"
• "sourceInversionFactor(...,AssumeDominant=>...)"

For the programmer

The object AssumeDominant is .