Cremona : Index
- approximateInverseMap -- random map related to the inverse of a birational map
- approximateInverseMap(..., CodimBsInv => ...)
- approximateInverseMap(..., MathMode => ...) -- whether or not to ensure correctness of output
- approximateInverseMap(RingMap) -- random map related to the inverse of a birational map
- CodimBsInv
- composeRationalMaps -- composition of rational maps
- composeRationalMaps(RingMap,RingMap) -- composition of rational maps
- Cremona -- package for some computations on rational maps between projective varieties
- degreeOfRationalMap -- degree of a rational map with source a projective space
- degreeOfRationalMap(..., MathMode => ...) -- whether or not to ensure correctness of output
- degreeOfRationalMap(RingMap) -- degree of a rational map with source a projective space
- Dominant
- invertBirMap -- inverse of a birational map
- invertBirMap(..., MathMode => ...) -- whether or not to ensure correctness of output
- invertBirMap(RingMap) -- inverse of a birational map
- isBirational -- whether a rational map is birational
- isBirational(..., MathMode => ...) -- whether or not to ensure correctness of output
- isBirational(RingMap) -- whether a rational map is birational
- isDominant -- whether a rational map is dominant
- isDominant(..., MathMode => ...) -- whether or not to ensure correctness of output
- isDominant(RingMap) -- whether a rational map is dominant
- isInverseMap -- checks whether a rational map is the inverse of another
- isInverseMap(RingMap,RingMap) -- checks whether a rational map is the inverse of another
- kernelComponent -- about the image of a rational map
- kernelComponent(RingMap,ZZ) -- about the image of a rational map
- MathMode -- whether or not to ensure correctness of output
- OnlySublist
- projectiveDegrees -- projective degrees of a rational map between projective varieties
- projectiveDegrees(..., MathMode => ...) -- whether or not to ensure correctness of output
- projectiveDegrees(..., OnlySublist => ...)
- projectiveDegrees(RingMap) -- projective degrees of a rational map between projective varieties
- toMap -- rational map defined by a linear system
- toMap(..., Dominant => ...)
- toMap(Ideal) -- rational map defined by a linear system
- toMap(Ideal,ZZ) -- rational map defined by a linear system
- toMap(Ideal,ZZ,ZZ) -- rational map defined by a linear system
- toMap(List) -- rational map defined by a linear system
- toMap(Matrix) -- rational map defined by a linear system
- toMap(RingMap) -- rational map defined by a linear system