RationalMaps : Index
-
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.