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

- "inverseOfMap(...,MinorsLimit=>...)" -- see inverseOfMap -- inverse of a birational map between projective varieties
- "isBirationalMap(...,MinorsLimit=>...)" -- see isBirationalMap -- whether a map between projective varieties is birational
- "isBirationalOntoImage(...,MinorsLimit=>...)" -- see isBirationalOntoImage -- whether a map between projective varieties is birational onto its image
- "isEmbedding(...,MinorsLimit=>...)" -- see isEmbedding -- whether a rational map of projective varieties is a closed embedding
- "sourceInversionFactor(...,MinorsLimit=>...)" -- see sourceInversionFactor -- computes the common factor among the components of the composition of the inverse map and the original map

The object MinorsLimit is a symbol.