RationalMaps : Table of Contents

• RationalMaps -- rational maps between projective varieties
• AssumeDominant -- whether to assume a rational map between projective varieties is dominant
• baseLocusOfMap -- the base locus of a map from a projective variety to projective space
• CheckBirational -- whether to check birationality
• HybridLimit -- an option to control HybridStrategy
• HybridStrategy -- A strategy for determining whether a map is birational and computing its inverse
• idealOfImageOfMap -- finds defining equations for the image of a rational map between varieties or schemes
• inverseOfMap -- inverse of a birational map between projective varieties
• isBirationalMap -- whether a map between projective varieties is birational
• isBirationalOntoImage -- whether a map between projective varieties is birational onto its image
• isEmbedding -- whether a rational map of projective varieties is a closed embedding
• isRegularMap -- whether a map to projective space is regular
• isSameMap -- whether two rational maps to between projective varieties are really the same
• jacobianDualMatrix -- computes the Jacobian dual matrix
• map(RationalMapping) -- the ring map associated to a RationalMapping between projective varieties
• mapOntoImage -- the induced map from a variety to the closure of its image under a rational map
• MinorsLimit -- an option to limit the number of random minors computed
• QuickRank -- an option for controlling how rank is computed
• RationalMapping -- a rational mapping between projective varieties
• RationalMapping * RationalMapping -- compose rational maps between projective varieties
• ReesStrategy -- a strategy for determining whether a map is birational and computing its inverse
• SaturateOutput -- whether the value returned should be saturated
• SaturationStrategy -- a strategy for determining whether a map is birational and computing its inverse
• SimisStrategy -- a strategy for determining whether a map is birational and computing its inverse
• source(RationalMapping) -- returns the source or target of a RationalMapping between projective varieties.
• sourceInversionFactor -- computes the common factor among the components of the composition of the inverse map and the original map