|
D.5.1.4 rncAntiCanonicalMap
Procedure from library paraplanecurves.lib (see paraplanecurves_lib).
- Usage:
- rncAntiCanonicalMap(I); I ideal
- Assume:
- I is a homogeneous ideal in the basering
defining a rational normal curve C in PP^n.
- Note:
- The procedure will fail or give a wrong output if I is not the
ideal of a rational normal curve.
- Return:
- ideal defining the anticanonical map C --> PP^(n-2).
Note that the entries of the ideal should be considered as
representatives of elements in R/I, where R is the basering.
- Theory:
- The anti-canonical map of a rational normal curve
maps C isomorpically to a rational normal curve in PP^(n-2).
Example:
|