Home Online Manual
Back: paraConic
Forward: testPointConic
FastBack: Algebraic geometry
FastForward: resbinomial_lib
Up: paraplanecurves_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.1.10 testParametrization

Procedure from library paraplanecurves.lib (see paraplanecurves_lib).

testParametrization(f, rTT); f poly, rTT ring

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).

int which is 1 if PARA defines a parametrization of the curve {f=0} and 0, otherwise.

We compute the polynomial defining the image of PARA
and compare it with f.

LIB "paraplanecurves.lib";
ring R = 0,(x,y,z),dp;
poly f = y^8-x^3*(z+x)^5;
def RP1 = paraPlaneCurve(f);
==> // 'paraPlaneCurve' created a ring together with an ideal PARA.
==> // Supposing you typed, say,  def RP1 = paraPlaneCurve(f);
==> // you may access the ideal by typing
==> //      setring RP1; PARA;
testParametrization(f, RP1);
==> 1