- 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
- baseLocusOfMap(...,SaturateOutput=>...) -- the base locus of a map from a projective variety to projective space
- baseLocusOfMap(...,Verbosity=>...) -- the base locus of a map from a projective variety to projective space
- baseLocusOfMap(RationalMapping) -- the base locus of a map from a projective variety to projective space
- baseLocusOfMap(RingMap) -- 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
- idealOfImageOfMap(...,QuickRank=>...) -- finds defining equations for the image of a rational map between varieties or schemes
- idealOfImageOfMap(...,Verbosity=>...) -- finds defining equations for the image of a rational map between varieties or schemes
- idealOfImageOfMap(RationalMapping) -- finds defining equations for the image of a rational map between varieties or schemes
- idealOfImageOfMap(RingMap) -- finds defining equations for the image of a rational map between varieties or schemes
- inverseOfMap -- inverse of a birational map between projective varieties
- inverseOfMap(...,AssumeDominant=>...) -- inverse of a birational map between projective varieties
- inverseOfMap(...,CheckBirational=>...) -- inverse of a birational map between projective varieties
- inverseOfMap(...,HybridLimit=>...) -- inverse of a birational map between projective varieties
- inverseOfMap(...,MinorsLimit=>...) -- inverse of a birational map between projective varieties
- inverseOfMap(...,QuickRank=>...) -- inverse of a birational map between projective varieties
- inverseOfMap(...,Strategy=>...) -- inverse of a birational map between projective varieties
- inverseOfMap(...,Verbosity=>...) -- inverse of a birational map between projective varieties
- inverseOfMap(RationalMapping) -- inverse of a birational map between projective varieties
- inverseOfMap(RingMap) -- inverse of a birational map between projective varieties
- isBirationalMap -- whether a map between projective varieties is birational
- isBirationalMap(...,AssumeDominant=>...) -- whether a map between projective varieties is birational
- isBirationalMap(...,HybridLimit=>...) -- whether a map between projective varieties is birational
- isBirationalMap(...,MinorsLimit=>...) -- whether a map between projective varieties is birational
- isBirationalMap(...,QuickRank=>...) -- whether a map between projective varieties is birational
- isBirationalMap(...,Strategy=>...) -- whether a map between projective varieties is birational
- isBirationalMap(...,Verbosity=>...) -- whether a map between projective varieties is birational
- isBirationalMap(RationalMapping) -- whether a map between projective varieties is birational
- isBirationalMap(RingMap) -- whether a map between projective varieties is birational
- isBirationalOntoImage -- whether a map between projective varieties is birational onto its image
- isBirationalOntoImage(...,AssumeDominant=>...) -- whether a map between projective varieties is birational onto its image
- isBirationalOntoImage(...,HybridLimit=>...) -- whether a map between projective varieties is birational onto its image
- isBirationalOntoImage(...,MinorsLimit=>...) -- whether a map between projective varieties is birational onto its image
- isBirationalOntoImage(...,QuickRank=>...) -- whether a map between projective varieties is birational onto its image
- isBirationalOntoImage(...,Strategy=>...) -- whether a map between projective varieties is birational onto its image
- isBirationalOntoImage(...,Verbosity=>...) -- whether a map between projective varieties is birational onto its image
- isBirationalOntoImage(RationalMapping) -- whether a map between projective varieties is birational onto its image
- isBirationalOntoImage(RingMap) -- whether a map between projective varieties is birational onto its image
- isEmbedding -- whether a rational map of projective varieties is a closed embedding
- isEmbedding(...,AssumeDominant=>...) -- whether a rational map of projective varieties is a closed embedding
- isEmbedding(...,HybridLimit=>...) -- whether a rational map of projective varieties is a closed embedding
- isEmbedding(...,MinorsLimit=>...) -- whether a rational map of projective varieties is a closed embedding
- isEmbedding(...,QuickRank=>...) -- whether a rational map of projective varieties is a closed embedding
- isEmbedding(...,Strategy=>...) -- whether a rational map of projective varieties is a closed embedding
- isEmbedding(...,Verbosity=>...) -- whether a rational map of projective varieties is a closed embedding
- isEmbedding(RationalMapping) -- whether a rational map of projective varieties is a closed embedding
- isEmbedding(RingMap) -- whether a rational map of projective varieties is a closed embedding
- isRegularMap -- whether a map to projective space is regular
- isRegularMap(...,Verbosity=>...) -- whether a map to projective space is regular
- isRegularMap(RationalMapping) -- whether a map to projective space is regular
- isRegularMap(RingMap) -- whether a map to projective space is regular
- isSameMap -- whether two rational maps to between projective varieties are really the same
- isSameMap(RationalMapping,RationalMapping) -- whether two rational maps to between projective varieties are really the same
- isSameMap(RingMap,RingMap) -- whether two rational maps to between projective varieties are really the same
- jacobianDualMatrix -- computes the Jacobian dual matrix
- jacobianDualMatrix(...,AssumeDominant=>...) -- computes the Jacobian dual matrix
- jacobianDualMatrix(...,QuickRank=>...) -- computes the Jacobian dual matrix
- jacobianDualMatrix(...,Strategy=>...) -- computes the Jacobian dual matrix
- jacobianDualMatrix(RationalMapping) -- computes the Jacobian dual matrix
- jacobianDualMatrix(RingMap) -- 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
- mapOntoImage(...,QuickRank=>...) -- the induced map from a variety to the closure of its image under a rational map
- mapOntoImage(RationalMapping) -- the induced map from a variety to the closure of its image under a rational map
- mapOntoImage(RingMap) -- 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 -- a rational mapping between projective varieties
- RationalMapping * RationalMapping -- compose rational maps between projective varieties
- RationalMapping == RationalMapping -- whether two rational maps to between projective varieties are really the same
- RationalMapping ^ ZZ -- compose rational maps between projective varieties
- rationalMapping(ProjectiveVariety,ProjectiveVariety,BasicList) -- a rational mapping between projective varieties
- rationalMapping(ProjectiveVariety,ProjectiveVariety,Matrix) -- a rational mapping between projective varieties
- rationalMapping(Ring,Ring,BasicList) -- a rational mapping between projective varieties
- rationalMapping(Ring,Ring,Matrix) -- a rational mapping between projective varieties
- rationalMapping(RingMap) -- a rational mapping between projective varieties
- RationalMaps -- 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
- sourceInversionFactor(...,AssumeDominant=>...) -- computes the common factor among the components of the composition of the inverse map and the original map
- sourceInversionFactor(...,CheckBirational=>...) -- computes the common factor among the components of the composition of the inverse map and the original map
- sourceInversionFactor(...,HybridLimit=>...) -- computes the common factor among the components of the composition of the inverse map and the original map
- sourceInversionFactor(...,MinorsLimit=>...) -- computes the common factor among the components of the composition of the inverse map and the original map
- sourceInversionFactor(...,QuickRank=>...) -- computes the common factor among the components of the composition of the inverse map and the original map
- sourceInversionFactor(...,Strategy=>...) -- computes the common factor among the components of the composition of the inverse map and the original map
- sourceInversionFactor(...,Verbosity=>...) -- computes the common factor among the components of the composition of the inverse map and the original map
- sourceInversionFactor(RingMap) -- computes the common factor among the components of the composition of the inverse map and the original map
- target(RationalMapping) -- returns the source or target of a RationalMapping between projective varieties.