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