1 | // $Id$ |
---|
2 | |
---|
3 | // |
---|
4 | // |
---|
5 | |
---|
6 | |
---|
7 | LIB "tst.lib"; |
---|
8 | |
---|
9 | LIB "poly.lib"; |
---|
10 | |
---|
11 | tst_init(); |
---|
12 | tst_ignore("CVS: $Id$"); |
---|
13 | |
---|
14 | proc char_out(ideal i){ |
---|
15 | return(sort(simplify(lead(i),1))[1]); |
---|
16 | } |
---|
17 | ring r=0,x(1..5),dp; |
---|
18 | ideal i=cyclic(5); |
---|
19 | char_out(slimgb(i)); |
---|
20 | kill r; |
---|
21 | |
---|
22 | ring r=7,x(1..5),dp; |
---|
23 | ideal i=cyclic(5); |
---|
24 | char_out(slimgb(i)); |
---|
25 | kill r; |
---|
26 | |
---|
27 | ring r = 32003, (x,y,z,t,u,v,w,a,b,c,d,e,f,g,h,i,j,k), dp; |
---|
28 | ideal i0= |
---|
29 | ag , |
---|
30 | df+bg+ah+w , |
---|
31 | ci , |
---|
32 | wf , |
---|
33 | cg+ai+di+ei+cj+t+c , |
---|
34 | cf+ag+dg+eg+ch+bi+aj+dj+ej+y+u+v+2w+a+d+e , |
---|
35 | af+df+ef+wg+bg+ah+dh+eh+wj+bj+x+z+w+b-1 , |
---|
36 | wf+bf+wh+bh , |
---|
37 | 2wf+bf+wh , |
---|
38 | 2af+df+ef+2wg+bg+ah+wj+x+w , |
---|
39 | cf+2ag+dg+eg+wi+aj+y+a , |
---|
40 | cg+ai , |
---|
41 | af+wg , |
---|
42 | bf+wh+2bh , |
---|
43 | df+bg+ah+2dh+eh+bj+z+w+2b , |
---|
44 | dg+ch+bi+dj+u+a+2d+e , |
---|
45 | di+c , |
---|
46 | bf+wh , |
---|
47 | dg+a; |
---|
48 | ideal i=homog(i0,k); |
---|
49 | i = slimgb(i); |
---|
50 | char_out(i); |
---|
51 | kill r; |
---|
52 | |
---|
53 | ring @r=(32003,u1, u2, u3, u4),(x1, x2, x3, x4, x5, x6, x7),dp; |
---|
54 | ideal @i= |
---|
55 | -x4*u3+x5*u2, |
---|
56 | x1*u3+2*x2*u1-2*x2*u2-2*x3*u3-u1*u4+u2*u4, |
---|
57 | -2*x1*x5+4*x4*x6+4*x5*x7+x1*u3-2*x4*u1-2*x4*u4-2*x6*u2-2*x7*u3+u1*u2+u2*u4, |
---|
58 | -x1*x5+x1*x7-x4*u1+x4*u2-x4*u4+x5*u3+x6*u1-x6*u2+x6*u4-x7*u3, |
---|
59 | -x1*x4+x1*u1-x5*u1+x5*u4, |
---|
60 | -2*x1*x3+x1*u3-2*x2*u4+u1*u4+u2*u4, |
---|
61 | x1^2*u3+x1*u1*u2-x1*u2^2-x1*u3^2-u1*u3*u4+u3*u4^2; |
---|
62 | @i=slimgb(@i); |
---|
63 | char_out(@i); |
---|
64 | kill @r; |
---|
65 | |
---|
66 | ring r=0,(x,y,z),lp; |
---|
67 | ideal i=x3-y,xy-z,x2-z6,yz-z7,xz-y; |
---|
68 | char_out(slimgb(i)); |
---|
69 | kill r; |
---|
70 | |
---|
71 | |
---|
72 | //twomat3 |
---|
73 | ring @r=32003,(a, b, c, d, e, f, g, h, i, A, B, C, D, E, F, G, H, I),lp; |
---|
74 | ideal @i= |
---|
75 | d*C-c*D-f*E+e*F-i*F+f*I, |
---|
76 | -d*B-g*C+b*D+c*G, |
---|
77 | d*B-b*D-h*F+f*H, |
---|
78 | g*A+h*D-a*G+i*G-d*H-g*I, |
---|
79 | d*A-a*D+e*D-d*E-g*F+f*G, |
---|
80 | -c*A-f*B+a*C-i*C+b*F+c*I, |
---|
81 | -b*A+a*B-e*B-h*C+b*E+c*H, |
---|
82 | -g*h*C*I+g*B+h*E+h*F-b*G-c*G-e*H-f*H+i*H; |
---|
83 | char_out(slimgb(@i)); |
---|
84 | kill @r; |
---|
85 | |
---|
86 | tst_status(1);$ |
---|