Macaulay2 » Documentation
Packages » RationalMaps :: AssumeDominant
next | previous | forward | backward | up | index | toc

AssumeDominant -- whether to assume a rational map between projective varieties is dominant

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

For the programmer

The object AssumeDominant is a symbol.


The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/RationalMaps.m2:1448:0.