1 | <<<<<<< Updated upstream |
---|
2 | ======= |
---|
3 | // |
---|
4 | >>>>>>> Stashed changes |
---|
5 | LIB "tst.lib"; |
---|
6 | LIB "nfmodsyz.lib"; |
---|
7 | tst_init(); |
---|
8 | |
---|
9 | proc tst_test_nfmodsyz(def I) |
---|
10 | { |
---|
11 | // input type ideal or module |
---|
12 | //system("--ticks-per-sec",1000); |
---|
13 | //int t = rtimer; |
---|
14 | def Jtst = nfmodSyz(I); //rtimer-t; |
---|
15 | Jtst; |
---|
16 | } |
---|
17 | |
---|
18 | ring r = 0,(x,y,z),dp; |
---|
19 | module M = [x2z+x-7*y,z2+9*x], [y2+7*z+7,10*z3-7*x2], [-xz+52*yz,xy+49*z], |
---|
20 | [52*xyz+yz,7*xy+y+z], [10*xy+z2,xz+x+7*z]; |
---|
21 | tst_test_nfmodsyz(M); |
---|
22 | kill r; |
---|
23 | |
---|
24 | ring r = (0,a),(x,y),(dp,c); |
---|
25 | minpoly = a^3+2a+7; |
---|
26 | module M = [(a/2+1)*x^2+2/3y, 3*x-a*y+ a/7+2], [ax, y]; |
---|
27 | tst_test_nfmodsyz(M); |
---|
28 | kill r; |
---|
29 | |
---|
30 | ring r = (0,a),(x,y,z),(c,dp); |
---|
31 | minpoly = a3+a+1; |
---|
32 | module M = [x2z+x+(-a)*y, z2+(a+2)*x], |
---|
33 | [y2+(a)*z+(a), (a+3)*z3+(-a)*x2], |
---|
34 | [-xz+(a2+3)*yz, xy+(a2)*z]; |
---|
35 | tst_test_nfmodsyz(M); |
---|
36 | kill r; |
---|
37 | |
---|
38 | ring r = (0,a), (x,y,z), (c,dp); |
---|
39 | minpoly = a^3+7a-5; |
---|
40 | module M = [(a+8)*x2y2+5*xy3,(-a2+3)*x3z+x2yz], [x5+2*y3z2,13*a*y2z3+5*yz4], |
---|
41 | [8*x3+(a2+12)*y3,xz2+(3a)], [(-a+7)*x2y4+y3z3,18*y3z2]; |
---|
42 | tst_test_nfmodsyz(M); |
---|
43 | kill r; |
---|
44 | |
---|
45 | ring r=(0,a),(x,y,z,w,u),(c,dp); |
---|
46 | minpoly = a^3+a+5; |
---|
47 | module M = (5+a)*x^3*y^2*z + (a+3)*y^3*x^2*z + (a+7)*x*y^2*z^2, |
---|
48 | (a+3)*x*y^2*z^2 + (a+1)*x^5 + (a-11)*y^2*z^2, |
---|
49 | (a+2)*x*y*z + (a+7)*x^3 + 12*y^3 + 1,3*x^3 +(a- 4)*y^3 + y*z^2; |
---|
50 | tst_test_nfmodsyz(M); |
---|
51 | kill r; |
---|
52 | |
---|
53 | ring r=(0,a),(x,y,z,w,u),(c,dp); |
---|
54 | minpoly = a^2+1; |
---|
55 | module M = x+(a/2147483647)*x*y+(a/2147483646)*y*z, |
---|
56 | x^2*z + (a/2147483647)*y^3 + (a+1)*y*z^2, |
---|
57 | (2*a*x)/3-(7*a*y)/23 + (9*z)/7; |
---|
58 | tst_test_nfmodsyz(M); |
---|
59 | kill r; |
---|
60 | tst_status(1);$ |
---|