RationalMaps : Table of Contents


AssumeDominant  If true, certain functions assume that the map from X to Y is dominant.

baseLocusOfMap  Computes base locus of a map from a projective variety to projective space



HybridStrategy  A strategy for inverseOfMap, isBirationalMap and isEmbedding.

idealOfImageOfMap  Finds defining equations for the image of a rational map between varieties or schemes

inverseOfMap  Computes the inverse map of a given birational map between projective varieties. Returns an error if the map is not birational onto its image.

isBirationalMap  Checks if a map between projective varieties is birational.



isEmbedding  Checks whether a map of projective varieties is a closed embedding.

isRegularMap  Checks whether a map to projective space is regular

isSameMap  Checks whether two maps to projective space are really the same

jacobianDualMatrix  Computes the Jacobian Dual Matrix, a matrix whose kernel describing the syzygies of the inverse map.

mapOntoImage  Given a map of rings, correspoing to X mapping to Y, this returns the map of rings corresponding to X mapping to f(X).

MinorsCount  An option controlling the behavior of isBirational and inverseOfMap (and other functions which call those).

QuickRank  An option for computing how rank is computed

ReesStrategy  A strategy for inverseOfMap, isBirationalMap, and is Embedding.

SaturateOutput  If false, certain functions will not saturate their output.


SimisStrategy  A strategy for inverseOfMap, isBirationalMap and isEmbedding.

sourceInversionFactor  Computes the the common factor among the the components of the composition of the inverse map and the original map.
