|
|
D.15.15.1 findZeroPoly
Procedure from library ringgb.lib (see ringgb_lib).
- Usage:
- findZeroPoly(f); f - a polynomial
- Return:
- zero polynomial with the same leading term as f if exists, otherwise 0
Example:
| | LIB "ringgb.lib";
ring r = (integer, 65536), (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;
findZeroPoly(f);
==> 1024y2x8+36864y2x7+64512yx8+2048y2x6+28672yx7+24576y2x5+63488yx6+50176y2x\
4+40960yx5+53248y2x3+15360yx4+12288y2x2+12288yx3+16384y2x+53248yx2+49152y\
x
|
|
