Macaulay2
»
Documentation
Packages
»
RationalMaps
::
Index
next | previous | forward | backward | up |
index
|
toc
RationalMaps : Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
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.