- inverseOfMap -- inverse of a birational map between projective varieties

- "idealOfImageOfMap(...,QuickRank=>...)" -- see idealOfImageOfMap -- finds defining equations for the image of a rational map between varieties or schemes
- "inverseOfMap(...,QuickRank=>...)" -- see inverseOfMap -- inverse of a birational map between projective varieties
- "isBirationalMap(...,QuickRank=>...)" -- see isBirationalMap -- whether a map between projective varieties is birational
- "isBirationalOntoImage(...,QuickRank=>...)" -- see isBirationalOntoImage -- whether a map between projective varieties is birational onto its image
- "isEmbedding(...,QuickRank=>...)" -- see isEmbedding -- whether a rational map of projective varieties is a closed embedding
- "jacobianDualMatrix(...,QuickRank=>...)" -- see jacobianDualMatrix -- computes the Jacobian dual matrix
- "mapOntoImage(...,QuickRank=>...)" -- see mapOntoImage -- the induced map from a variety to the closure of its image under a rational map
- "sourceInversionFactor(...,QuickRank=>...)" -- see sourceInversionFactor -- computes the common factor among the components of the composition of the inverse map and the original map