D.8.3.3 parametrizesing

Procedure from library paramet.lib (see paramet_lib).

Usage:

parametrizesing(f); f a polynomial in two variables, ordering ls or ds

Create:

If the parametrization is successful, the basering will be changed to the parametrization ring, that is to the ring 0,(x,y),ls;

Return:

a list containing the parametrizations of the different branches of the singularity at the origin resp. 0, if f was not of the desired kind

Example:

LIB "paramet.lib";
ring RING=0,(x,y),ls;
poly f=(x^2-y^3)*(x^2-y^2-y^3);
parametrizesing(f);
→ [1]:
→    _[1]=x
→    _[2]=x-1/2x2
→ [2]:
→    _[1]=x
→    _[2]=-x-1/2x2
→ [3]:
→    _[1]=x3
→    _[2]=x2

See also: develop; hnexpansion; hnoether_lib.