|
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
|