|  |  D.12.7.10 verify Procedure from libraryrootsmr.lib(see  rootsmr_lib).
 
Example: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)
 See also:
 randcharpoly.|  | 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
 | 
 
 |