|
D.2.4.5 pnormalf
Procedure from library grobcov.lib (see grobcov_lib).
- Usage:
- pnormalf(f,E,N);
f: the polynomial to be reduced modulo V(E)\V(N)
of a segment in the parameters.
E: the null conditions ideal
N: the non-null conditions
- 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 the parameters.
Example:
|