AssumeDominant -- whether to assume a rational map between projective varieties is dominant
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