RationalMaps : Table of Contents
RationalMaps -- A package for computations with rational maps.
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
-
dimImage -- Computes dimension of image of rational map of projective varieties
-
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).
ReesStrategy -- A strategy for inverseOfMap, isBirationalMap, relationType and is Embedding.
relationType -- Given an ideal in a ring this computes the maximum degree, of the new variables, of the minimal generators of the defining ideal of the associated Rees algebra.
SaturateOutput -- If false, certain functions will not saturate their output.
SaturationStrategy -- A strategy for inverseOfMap, isBirationalMap, relationType and is Embedding.
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.
-