D.2.4.4 pnormalf

Usage:

pnormalf(f,E,N);
f: the polynomial in Q[a][x] (a=parameters, x=variables) to be reduced modulo V(E) \ V(N) of a segment in Q[a].
E: the null conditions ideal in Q[a]
N: the non-null conditions in Q[a]

Return:

a reduced polynomial g of f, whose coefficients are reduced modulo E and having no factor in N.

Note:

Should be called from ring Q[a][x].
Ideals E and N must be given by polynomials in Q[a].

LIB "grobcov.lib";
ring R=(0,a,b,c),(x,y),dp;
short=0;
poly f=(b^2-1)*x^3*y+(c^2-1)*x*y^2+(c^2*b-b)*x+(a-bc)*y;
ideal E=(c-1);
ideal N=a-b;
pnormalf(f,E,N);
==> (b^2-1)*x^3*y+(a-b)*y