Macaulay2 » Documentation
Packages » RationalMaps :: AssumeDominant

Synopsis

• Usage:

  AssumeDominant=>b

Description

If AssumeDominant is true, it can speed up computation as a kernel will not be computed.

Functions with optional argument named AssumeDominant :

• "inverseOfMap(...,AssumeDominant=>...)" -- see inverseOfMap -- inverse of a birational map between projective varieties
• "isBirationalMap(...,AssumeDominant=>...)" -- see isBirationalMap -- whether a map between projective varieties is birational
• "isBirationalOntoImage(...,AssumeDominant=>...)" -- see isBirationalOntoImage -- whether a map between projective varieties is birational onto its image
• "isEmbedding(...,AssumeDominant=>...)" -- see isEmbedding -- whether a rational map of projective varieties is a closed embedding
• "jacobianDualMatrix(...,AssumeDominant=>...)" -- see jacobianDualMatrix -- computes the Jacobian dual matrix
• "sourceInversionFactor(...,AssumeDominant=>...)" -- see sourceInversionFactor -- computes the common factor among the components of the composition of the inverse map and the original map