Top
Back: randcharpoly
Forward: randlinpoly
FastBack: zeroset_lib
FastForward: signcond_lib
Up: rootsmr_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.6.10 verify

Procedure from library rootsmr.lib (see rootsmr_lib).

Usage:
verify(p,b,i);p poly, b,i,ideal

Return:
integer: 1 iff the polynomial p splits the points of V(i). It's used to check the result of randcharpoly

Assume:
i is a Groebner basis and b is an ordered monomial basis of r/i, r = basering

Note:
comments the result if printlevel>0 (default: printlevel=0)

Example:
 
LIB "rootsmr.lib";
ring r = 0,(x,y),dp;
poly f = x3-xy+y-13+x4-y2x;
ideal i = x4-y2x,y2-13;
i = std(i);
ideal b = qbase(i);
poly p = randcharpoly(b,i);
verify(p,b,i);
==> 1
randcharpoly


Top Back: randcharpoly Forward: randlinpoly FastBack: zeroset_lib FastForward: signcond_lib Up: rootsmr_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-1, October 2005, generated by texi2html.