|
D.5.1.10 testParametrization
Procedure from library paraplanecurves.lib (see paraplanecurves_lib).
- Usage:
- testParametrization(f, rTT); f poly, rTT ring
- Assume:
- The assumptions on the basering and the polynomial f are as required
by paraPlaneCurve. The ring rTT has two variables and contains
an ideal PARA (such as the ring obtained by applying
paraPlaneCurve to f).
- Return:
- int which is 1 if PARA defines a parametrization of the curve
{f=0} and 0, otherwise.
- Theory:
- We compute the polynomial defining the image of PARA
and compare it with f.
Example:
|