Top
Back: pdivi
Forward: extend
FastBack: general_lib
FastForward: inout_lib
Up: grobcov_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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:
 
LIB "grobcov.lib";
ring R=(0,a,b,c),(x,y),dp;
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);
==> (b2-1)*x3y+(a-b)*y


Top Back: pdivi Forward: extend FastBack: general_lib FastForward: inout_lib Up: grobcov_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.