source: git/Tst/Long/allres_l.tst @ 1ebec3

LIB "tst.lib";
tst_init();
ring r=32003,(y,t,x,z,w),(dp, c);
ideal i=6*t^5*x^3*z^4+5*x^5*z^7+4*t^4*y*z^3*w^4,
5*t^3*x^2*y^7*z^4+5*t^6*x*y^3*z^3*w^3+4*t^5*x^5*y*w^5,
2*t^8*z^6+6*t^5*y*z^7*w+6*t^4*y^2*z^3*w^5;
tst_test_res(i, 1);
kill r;

ring h3=32003,(z,y,t,x,w),(dp,c);
ideal i=
5*t^3*x^8*y^2*z+1*t^5*x^2*y*w^6+2*x^2*y*w^11+5*t*w^13,
7*x*y^6*z^2+4*t^6*x*w^2+9*t^3*y^2*z*w^3+6*x^2*y*w^6,
8*t*x^5*y^3+2*t^3*x^3*y^2*w+4*t^6*z*w^2+3*x*w^8;
tst_test_res(i, 1);
kill h3;

ring cyc5 = 32003,(a,b,c,d,e,f),(dp,c);
ideal i=
a+b+c+d+e,
de+1cd+1bc+1ae+1ab,
cde+1bcd+1ade+1abe+1abc,
bcde+1acde+1abde+1abce+1abcd,
abcde-f5;
tst_test_res(i, 1);
kill cyc5;

ring r=0,(y,t,x,z,w),(dp, c);
ideal i=6*t^5*x^3*z^4+5*x^5*z^7+4*t^4*y*z^3*w^4,
5*t^3*x^2*y^7*z^4+5*t^6*x*y^3*z^3*w^3+4*t^5*x^5*y*w^5,
2*t^8*z^6+6*t^5*y*z^7*w+6*t^4*y^2*z^3*w^5;
tst_test_res(i, 1);
kill r;

ring h3=0,(z,y,t,x,w),(dp,c);
ideal i=
5*t^3*x^8*y^2*z+1*t^5*x^2*y*w^6+2*x^2*y*w^11+5*t*w^13,
7*x*y^6*z^2+4*t^6*x*w^2+9*t^3*y^2*z*w^3+6*x^2*y*w^6,
8*t*x^5*y^3+2*t^3*x^3*y^2*w+4*t^6*z*w^2+3*x*w^8;
tst_test_res(i, 1);
kill h3;

ring an=32003,(t,x,y,z,w),(dp,C);
ideal i=
2t3x5y2z+t5x2yw3+2x2yw8,
3t6x2yz2+9t3y2zw5+2xy3z2w5,
t3x5y2z2+tx2y3w6+2t5zw6;
tst_test_res(i, 1);
kill an;

tst_status(1);
$