|
D.5.1.8 rncItProjEven
Procedure from library paraplanecurves.lib (see paraplanecurves_lib).
- Usage:
- rncItProjEven(I); I ideal
- Assume:
- I is a homogeneous ideal in the basering with n+1 variables
defining a rational normal curve C in PP^n with n even.
- Note:
- The procedure will fail or give a wrong output if I is not the
ideal of a rational normal curve. It will test whether n is odd.
- Return:
- ring with an ideal CONIC defining a conic C2 in PP^2.
In addition, an ideal PHI in the basering defining an isomorphic
projection of C to C2 will be exported.
Note that the entries of PHI should be considered as
representatives of elements in R/I, where R is the basering.
- Theory:
- We iterate the procedure rncAntiCanonicalMap to obtain PHI.
Example:
See also:
rncItProjOdd.
|