monic(f); f polynomial in two variables whose leadi.
Return:
a multiple of f monic as polynomial in the second variables,
polynomial of degree d in the second variable of the ring with
an ordinary multiple point at the origin of order k.
Assume:
f is a bivariate polynomial whose leading coefficients as
polynomial in the second variable is a unit.
Example:
LIB "integralbasis.lib";
ring R = 0, (x,y), dp;
poly f = -3y3 + 3x2y + y2 + 1;
monic(f);
==> -x2y+y3-1/3y2-1/3