|
D.5.1.6 mapToRatNormCurve
Procedure from library paraplanecurves.lib (see paraplanecurves_lib).
- Usage:
- mapToRatNormCurve(f, AI); f polynomial, AI ideal
- Assume:
- The polynomial f is homogeneous in three variables and absolutely
irreducible.
The plane curve C defined by f is rational.
The ideal AI is the adjoint ideal of C.
- Return:
- ring with an ideal RNC.
Example:
|