Home Online Manual
Top
Back: zeroReduce
Forward: noElements
FastBack:
FastForward:
Up: ringgb_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.13.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