1 | LIB "tst.lib"; |
---|
2 | |
---|
3 | // extended test of res commands for different orderings |
---|
4 | ring r1 = 31991,(t,x,y,z,w),(c,dp); |
---|
5 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
6 | tst_test_res(i); |
---|
7 | kill r1; |
---|
8 | ring r1 = 31991,(t,x,y,z,w),(c,lp); |
---|
9 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
10 | tst_test_res(i); |
---|
11 | kill r1; |
---|
12 | ring r1 = 31991,(t,x,y,z,w),(c,ds); |
---|
13 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
14 | tst_test_res(i); |
---|
15 | kill r1; |
---|
16 | ring r1 = 31991,(t,x,y,z,w),(c,ls); |
---|
17 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
18 | tst_test_res(i); |
---|
19 | kill r1; |
---|
20 | |
---|
21 | ring r1 = 31991,(t,x,y,z,w),(C,dp); |
---|
22 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
23 | tst_test_res(i); |
---|
24 | kill r1; |
---|
25 | ring r1 = 31991,(t,x,y,z,w),(c,lp); |
---|
26 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
27 | tst_test_res(i); |
---|
28 | kill r1; |
---|
29 | ring r1 = 31991,(t,x,y,z,w),(C,ds); |
---|
30 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
31 | // takes too long: tst_test_res(i); |
---|
32 | kill r1; |
---|
33 | ring r1 = 31991,(t,x,y,z,w),(c,ls); |
---|
34 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
35 | tst_test_res(i); |
---|
36 | kill r1; |
---|
37 | |
---|
38 | ring r1 = 31991,(t,x,y,z,w),(dp,c); |
---|
39 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
40 | tst_test_res(i); |
---|
41 | kill r1; |
---|
42 | ring r1 = 31991,(t,x,y,z,w),(lp,c); |
---|
43 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
44 | tst_test_res(i); |
---|
45 | kill r1; |
---|
46 | ring r1 = 31991,(t,x,y,z,w),(ds,c); |
---|
47 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
48 | tst_test_res(i); |
---|
49 | kill r1; |
---|
50 | ring r1 = 31991,(t,x,y,z,w),(ls,c); |
---|
51 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
52 | tst_test_res(i); |
---|
53 | kill r1; |
---|
54 | |
---|
55 | ring r1 = 31991,(t,x,y,z,w),(dp,C); |
---|
56 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
57 | tst_test_res(i); |
---|
58 | kill r1; |
---|
59 | ring r1 = 31991,(t,x,y,z,w),(lp,c); |
---|
60 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
61 | tst_test_res(i); |
---|
62 | kill r1; |
---|
63 | ring r1 = 31991,(t,x,y,z,w),(ds,C); |
---|
64 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
65 | tst_test_res(i); |
---|
66 | kill r1; |
---|
67 | ring r1 = 31991,(t,x,y,z,w),(ls,c); |
---|
68 | ideal i=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
69 | tst_test_res(i); |
---|
70 | kill r1; |
---|
71 | |
---|
72 | tst_status(1); |
---|
73 | $ |
---|
74 | |
---|