|
|
D.15.15.3 testZero
Procedure from library ringgb.lib (see ringgb_lib).
- Usage:
- testZero(f); f - a polynomial
- Return:
- returns 1 if f is zero as a function and otherwise a counterexample as a list [f(x_1, ..., x_n), x_1, ..., x_n]
Example:
| | LIB "ringgb.lib";
ring r = (integer, 12), (y,x), dp;
poly f = 1024*x^8*y^2+11264*x^8*y+28672*x^8+45056*x^7*y^2+36864*x^7*y+16384*x^7+40960*x^6*y^2+57344*x^6*y+32768*x^6+30720*x^5*y^2+10240*x^5*y+8192*x^5+35840*x^4*y^2+1024*x^4*y+20480*x^4+30720*x^3*y^2+10240*x^3*y+8192*x^3+4096*x^2*y^2+45056*x^2*y+49152*x^2+40960*x*y^2+57344*x*y+32768*x;
//zeroReduce(f);
testZero(f);
==> Teste 144 Belegungen ...
==> bisher: 11
==> [1]:
==> 1
==> [2]:
==> 1
==> [3]:
==> 4
poly g = findZeroPoly(x2y3);
g;
==> y3x2+11y3x+9y2x2+3y2x+2yx2+10yx
testZero(g);
==> Teste 144 Belegungen ...
==> bisher: 11
==> bisher: 23
==> bisher: 35
==> bisher: 47
==> bisher: 59
==> bisher: 71
==> bisher: 83
==> bisher: 95
==> bisher: 107
==> bisher: 119
==> bisher: 131
==> bisher: 143
==> 1
|
|
