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

D.12.7.10 verify

Procedure from library rootsmr.lib (see rootsmr_lib).

Usage:
verify(p,B,I); p poly, B,I,ideal

Return:
integer: 1 if and only if the polynomial p splits the points of V(I). It's used to check the result of randcharpoly

Assume:
I is given by 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:
 
See also: randcharpoly.


Top Back: randcharpoly Forward: randlinpoly FastBack: weierstr_lib FastForward: rootsur_lib Up: rootsmr_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.