 LIB "normal.lib";
int prl = printlevel;
printlevel = 1;
ring r = 0,(x,y),dp;
ideal i = (xy^2)^2  y*x^3;
list nor = normal(i);
norTest(i,nor); //1,1,1 means that normal was correct
==> 1
==> 1
==> 1,1,1
nor = normalC(i);
norTest(i,nor); //1,1,1 means that normal was correct
==> 1
==> 1
==> 1,1,1
ring s = 2,(x,y),dp;
ideal i = (xy^2)^2  y*x^3;
nor = normalP(i,"withRing");
norTest(i,nor); //1,1,1 means that normalP was correct
==> 1
==> 1
==> 1,1,1
printlevel = prl;
