Top
Back: pdivi
Forward: mcgs
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.7 pnormalform

Procedure from library grobcov.lib (see grobcov_lib).

Usage:
pnormalform(f,N,W);
f: the polynomial to be reduced modulo (N,W) a reduced representation of a segment in the parameters.
N: the null conditions ideal
W: the non-null conditions (set of irreducible polynomials)

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

Note:
Should be called from ring Q[a][x], and the global rings @R, @P and @RP must be defined. These rings can be created by calling previously setglobalrings();
Ideals N and W must be given by polynomials
in the parameters forming a reduced-representation (see definition in the paper).

Example:
 


Top Back: pdivi Forward: mcgs 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-5, Jul 2012, generated by texi2html.