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