• RationalMaps -- rational maps between varieties
• 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
• CheckBirational -- If true, functions will check birationality.
• HybridLimit -- An option to control HybridStrategy
• 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.
• isBirationalMap(...,Verbose=>...) -- generate informative output
• isBirationalOntoImage -- Checks if a map between projective varieties is birational onto its image.
• 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.
• SaturationStrategy -- A strategy for inverseOfMap, isBirationalMap, isEmbedding.
• 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.
• sourceInversionFactor(...,Strategy=>...) -- Determines the desired Strategy in each function.