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
The source of this document is in RationalMaps.m2:1448:0.