1 | STDIN 1> LIB "ncall.lib"; |
---|
2 | STDIN 2> ring r = (5),(a_2_0,a_2_1,b_2_2,b_2_3,b_8_9,c_10_12,a_1_0,a_1_1,a_3_4,a_3_5,a_7_8,a_9_11),(M(2,2,2,2,8,10,1,1,3,3,7,9,0,0,0,0,0,-1,0,0,0,0,0,0,-1,-1,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0),C); |
---|
3 | STDIN 3> def R = SuperCommutative(7); |
---|
4 | STDIN 4> setring R; |
---|
5 | STDIN 5> ideal I = a_1_0*a_1_1,a_2_0*a_1_0,a_2_1*a_1_0-a_2_0*a_1_1,a_2_1*a_1_1,b_2_3*a_1_0-b_2_2*a_1_1,a_2_0^2,a_2_0*a_2_1,a_2_1^2,a_2_0*b_2_2+a_1_0*a_3_4,a_2_0*b_2_3+2*a_1_1*a_3_4-a_1_0*a_3_5,a_2_1*b_2_2+a_1_1*a_3_4-2*a_1_0*a_3_5,a_2_1*b_2_3-a_1_1*a_3_5,a_2_0*a_3_4,a_2_1*a_3_4-a_2_0*a_3_5,a_2_1*a_3_5,b_2_3*a_3_4-b_2_2*a_3_5-2*b_2_2*b_2_3*a_1_1-2*b_2_2^2*a_1_1,a_2_0*a_1_1*a_3_5,b_2_2*a_1_1*a_3_4-b_2_2*a_1_0*a_3_5,a_1_0*a_3_4*a_3_5,a_1_1*a_3_4*a_3_5,b_2_2*a_3_4*a_3_5-2*b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_5,a_1_0*a_7_8+2*b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_5+2*b_2_2^2*a_1_0*a_3_4,a_1_1*a_7_8+2*b_2_2*b_2_3*a_1_1*a_3_5-2*b_2_2^2*a_1_1*a_3_5+2*b_2_2^2*a_1_0*a_3_5,a_2_0*a_7_8,a_2_1*a_7_8,b_2_2*a_7_8+2*b_2_2*b_2_3^3*a_1_1+2*b_2_2^2*b_2_3*a_3_5+b_2_2^2*b_2_3^2*a_1_1-2*b_2_2^3*a_3_5+2*b_2_2^3*a_3_4+2*b_2_2^3*b_2_3*a_1_1-b_2_2^4*a_1_1,b_2_3*a_7_8+2*b_2_2*b_2_3^2*a_3_5+b_2_2*b_2_3^3*a_1_1-2*b_2_2^2*b_2_3*a_3_5+2*b_2_2^2*b_2_3^2*a_1_1+2*b_2_2^3*a_3_5-2*b_2_2^3*b_2_3*a_1_1+b_2_2^4*a_1_1,b_8_9*a_1_0-b_2_2*b_2_3^3*a_1_1+b_2_2^2*b_2_3^2*a_1_1-2*b_2_2^3*b_2_3*a_1_1,b_8_9*a_1_1+b_2_2*b_2_3^3*a_1_1-2*b_2_2^2*b_2_3^2*a_1_1-b_2_2^4*a_1_1,a_1_0*a_9_11-2*b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_4,a_1_1*a_9_11-b_2_3^3*a_1_1*a_3_5-2*b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^3*a_1_0*a_3_5,a_3_4*a_7_8-2*b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5-2*b_2_2^3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_5,a_3_5*a_7_8-b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5,a_2_0*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5-b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5,a_2_1*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5,b_2_2*b_8_9-b_2_2*b_2_3^4+b_2_2^2*b_2_3^3-2*b_2_2^3*b_2_3^2+b_2_2^2*b_2_3*a_1_1*a_3_5+b_2_2^3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_4,b_2_3*b_8_9+b_2_2*b_2_3^4-2*b_2_2^2*b_2_3^3-b_2_2^4*b_2_3+b_2_2*b_2_3^2*a_1_1*a_3_5+b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_5,a_2_0*a_9_11,a_2_1*a_9_11,b_2_2*b_2_3^4*a_1_1-b_2_2^5*a_1_1,b_2_2*a_9_11-2*b_2_2^2*b_2_3^2*a_3_5+b_2_2^2*b_2_3^3*a_1_1-2*b_2_2^3*b_2_3^2*a_1_1+2*b_2_2^4*a_3_4-b_2_2^4*b_2_3*a_1_1-b_2_2^5*a_1_1,b_2_3*a_9_11-b_2_3^4*a_3_5-2*b_2_2*b_2_3^3*a_3_5-2*b_2_2^2*b_2_3^3*a_1_1-b_2_2^3*b_2_3^2*a_1_1-2*b_2_2^4*a_3_5-2*b_2_2^4*b_2_3*a_1_1,b_8_9*a_3_4-b_2_2*b_2_3^3*a_3_5+b_2_2^2*b_2_3^2*a_3_5-2*b_2_2^3*b_2_3*a_3_5-2*b_2_2^3*b_2_3^2*a_1_1+b_2_2^4*b_2_3*a_1_1-2*b_2_2^5*a_1_1,b_8_9*a_3_5+b_2_2*b_2_3^3*a_3_5-2*b_2_2^2*b_2_3^2*a_3_5-b_2_2^4*a_3_5,b_2_2*b_2_3^3*a_1_1*a_3_5-b_2_2^4*a_1_0*a_3_5,a_3_4*a_9_11-2*b_2_2^3*b_2_3*a_1_1*a_3_5+b_2_2^4*a_1_1*a_3_5+b_2_2^4*a_1_0*a_3_5,a_3_5*a_9_11+2*b_2_2^2*b_2_3^2*a_1_1*a_3_5+b_2_2^3*b_2_3*a_1_1*a_3_5+2*b_2_2^4*a_1_1*a_3_5,b_2_2*b_2_3^5-b_2_2^5*b_2_3,b_2_2*b_2_3^4*a_3_5-b_2_2^5*a_3_5,b_8_9*a_7_8-2*b_2_2^3*b_2_3^3*a_3_5-b_2_2^4*b_2_3^2*a_3_5+2*b_2_2^4*b_2_3^3*a_1_1+b_2_2^5*b_2_3*a_3_5+b_2_2^5*b_2_3^2*a_1_1+b_2_2^6*a_3_5-2*b_2_2^6*b_2_3*a_1_1-2*b_2_2^7*a_1_1,a_7_8*a_9_11+b_2_2^4*b_2_3^2*a_1_1*a_3_5-b_2_2^5*b_2_3*a_1_1*a_3_5,b_8_9^2+2*b_2_2^5*b_2_3^3-b_2_2^7*b_2_3-2*b_2_2^4*b_2_3^2*a_1_1*a_3_5-2*b_2_2^5*b_2_3*a_1_1*a_3_5-2*b_2_2^6*a_1_1*a_3_5+2*b_2_2^6*a_1_0*a_3_5,b_8_9*a_9_11+2*b_2_2^4*b_2_3^3*a_3_5+b_2_2^5*b_2_3^2*a_3_5+b_2_2^6*b_2_3*a_3_5-b_2_2^6*b_2_3^2*a_1_1+b_2_2^7*a_3_5+b_2_2^7*b_2_3*a_1_1; |
---|
6 | STDIN 6> I = groebner(I); |
---|
7 | STDIN 7> ideal FRS1 = c_10_12, b_8_9-b_2_3^4+b_2_2*b_2_3^3-2*b_2_2^2*b_2_3^2-b_2_2^4; |
---|
8 | STDIN 8> ideal FRS2 = c_10_12, -b_8_9+b_2_3^4-b_2_2*b_2_3^3+2*b_2_2^2*b_2_3^2+b_2_2^4-b_2_2*b_2_3*a_1_1*a_3_5-b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_4; |
---|
9 | STDIN 9> |
---|
10 | STDIN 10. |
---|
11 | STDIN 11. |
---|
12 | STDIN 12. std(I,FRS1[1]); |
---|
13 | _[1]=a_1_0*a_1_1 |
---|
14 | _[2]=a_2_0*a_1_0 |
---|
15 | _[3]=a_2_1*a_1_0-a_2_0*a_1_1 |
---|
16 | _[4]=a_2_1*a_1_1 |
---|
17 | _[5]=b_2_3*a_1_0-b_2_2*a_1_1 |
---|
18 | _[6]=a_2_0^2 |
---|
19 | _[7]=a_2_0*a_2_1 |
---|
20 | _[8]=a_2_1^2 |
---|
21 | _[9]=a_2_0*b_2_2+a_1_0*a_3_4 |
---|
22 | _[10]=a_2_0*b_2_3+2*a_1_1*a_3_4-a_1_0*a_3_5 |
---|
23 | _[11]=a_2_1*b_2_2+a_1_1*a_3_4-2*a_1_0*a_3_5 |
---|
24 | _[12]=a_2_1*b_2_3-a_1_1*a_3_5 |
---|
25 | _[13]=a_2_0*a_3_4 |
---|
26 | _[14]=a_2_1*a_3_4-a_2_0*a_3_5 |
---|
27 | _[15]=a_2_1*a_3_5 |
---|
28 | _[16]=b_2_3*a_3_4-b_2_2*a_3_5-2*b_2_2*b_2_3*a_1_1-2*b_2_2^2*a_1_1 |
---|
29 | _[17]=a_2_0*a_1_1*a_3_5 |
---|
30 | _[18]=b_2_2*a_1_1*a_3_4-b_2_2*a_1_0*a_3_5 |
---|
31 | _[19]=a_1_0*a_3_4*a_3_5 |
---|
32 | _[20]=a_1_1*a_3_4*a_3_5 |
---|
33 | _[21]=b_2_2*a_3_4*a_3_5-2*b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_5 |
---|
34 | _[22]=a_1_0*a_7_8+2*b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_5+2*b_2_2^2*a_1_0*a_3_4 |
---|
35 | _[23]=a_1_1*a_7_8+2*b_2_2*b_2_3*a_1_1*a_3_5-2*b_2_2^2*a_1_1*a_3_5+2*b_2_2^2*a_1_0*a_3_5 |
---|
36 | _[24]=a_2_0*a_7_8 |
---|
37 | _[25]=a_2_1*a_7_8 |
---|
38 | _[26]=b_2_2*a_7_8+2*b_2_2*b_2_3^3*a_1_1+2*b_2_2^2*b_2_3*a_3_5+b_2_2^2*b_2_3^2*a_1_1-2*b_2_2^3*a_3_5+2*b_2_2^3*a_3_4+2*b_2_2^3*b_2_3*a_1_1-b_2_2^4*a_1_1 |
---|
39 | _[27]=b_2_3*a_7_8+2*b_2_2*b_2_3^2*a_3_5+b_2_2*b_2_3^3*a_1_1-2*b_2_2^2*b_2_3*a_3_5+2*b_2_2^2*b_2_3^2*a_1_1+2*b_2_2^3*a_3_5-2*b_2_2^3*b_2_3*a_1_1+b_2_2^4*a_1_1 |
---|
40 | _[28]=b_8_9*a_1_0-b_2_2*b_2_3^3*a_1_1+b_2_2^2*b_2_3^2*a_1_1-2*b_2_2^3*b_2_3*a_1_1 |
---|
41 | _[29]=b_8_9*a_1_1+b_2_2*b_2_3^3*a_1_1-2*b_2_2^2*b_2_3^2*a_1_1-b_2_2^4*a_1_1 |
---|
42 | _[30]=c_10_12 |
---|
43 | _[31]=a_1_0*a_9_11-2*b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_4 |
---|
44 | _[32]=a_1_1*a_9_11-b_2_3^3*a_1_1*a_3_5-2*b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^3*a_1_0*a_3_5 |
---|
45 | _[33]=a_3_4*a_7_8-2*b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5-2*b_2_2^3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_5 |
---|
46 | _[34]=a_3_5*a_7_8-b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5 |
---|
47 | _[35]=a_2_0*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5-b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5 |
---|
48 | _[36]=a_2_1*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5 |
---|
49 | _[37]=b_2_2*b_8_9-b_2_2*b_2_3^4+b_2_2^2*b_2_3^3-2*b_2_2^3*b_2_3^2+b_2_2^2*b_2_3*a_1_1*a_3_5+b_2_2^3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_4 |
---|
50 | _[38]=b_2_3*b_8_9+b_2_2*b_2_3^4-2*b_2_2^2*b_2_3^3-b_2_2^4*b_2_3+b_2_2*b_2_3^2*a_1_1*a_3_5+b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_5 |
---|
51 | _[39]=a_2_0*a_9_11 |
---|
52 | _[40]=a_2_1*a_9_11 |
---|
53 | _[41]=b_2_2*b_2_3^4*a_1_1-b_2_2^5*a_1_1 |
---|
54 | _[42]=b_2_2*a_9_11-2*b_2_2^2*b_2_3^2*a_3_5+b_2_2^2*b_2_3^3*a_1_1-2*b_2_2^3*b_2_3^2*a_1_1+2*b_2_2^4*a_3_4-b_2_2^4*b_2_3*a_1_1-b_2_2^5*a_1_1 |
---|
55 | _[43]=b_2_3*a_9_11-b_2_3^4*a_3_5-2*b_2_2*b_2_3^3*a_3_5-2*b_2_2^2*b_2_3^3*a_1_1-b_2_2^3*b_2_3^2*a_1_1-2*b_2_2^4*a_3_5-2*b_2_2^4*b_2_3*a_1_1 |
---|
56 | _[44]=b_8_9*a_3_4-b_2_2*b_2_3^3*a_3_5+b_2_2^2*b_2_3^2*a_3_5-2*b_2_2^3*b_2_3*a_3_5-2*b_2_2^3*b_2_3^2*a_1_1+b_2_2^4*b_2_3*a_1_1-2*b_2_2^5*a_1_1 |
---|
57 | _[45]=b_8_9*a_3_5+b_2_2*b_2_3^3*a_3_5-2*b_2_2^2*b_2_3^2*a_3_5-b_2_2^4*a_3_5 |
---|
58 | _[46]=b_2_2*b_2_3^3*a_1_1*a_3_5-b_2_2^4*a_1_0*a_3_5 |
---|
59 | _[47]=a_3_4*a_9_11-2*b_2_2^3*b_2_3*a_1_1*a_3_5+b_2_2^4*a_1_1*a_3_5+b_2_2^4*a_1_0*a_3_5 |
---|
60 | _[48]=a_3_5*a_9_11+2*b_2_2^2*b_2_3^2*a_1_1*a_3_5+b_2_2^3*b_2_3*a_1_1*a_3_5+2*b_2_2^4*a_1_1*a_3_5 |
---|
61 | _[49]=b_2_2*b_2_3^5-b_2_2^5*b_2_3 |
---|
62 | _[50]=b_2_2*b_2_3^4*a_3_5-b_2_2^5*a_3_5 |
---|
63 | _[51]=b_8_9*a_7_8-2*b_2_2^3*b_2_3^3*a_3_5-b_2_2^4*b_2_3^2*a_3_5+2*b_2_2^4*b_2_3^3*a_1_1+b_2_2^5*b_2_3*a_3_5+b_2_2^5*b_2_3^2*a_1_1+b_2_2^6*a_3_5-2*b_2_2^6*b_2_3*a_1_1-2*b_2_2^7*a_1_1 |
---|
64 | _[52]=a_7_8*a_9_11+b_2_2^4*b_2_3^2*a_1_1*a_3_5-b_2_2^5*b_2_3*a_1_1*a_3_5 |
---|
65 | _[53]=b_8_9^2+2*b_2_2^5*b_2_3^3-b_2_2^7*b_2_3-2*b_2_2^4*b_2_3^2*a_1_1*a_3_5-2*b_2_2^5*b_2_3*a_1_1*a_3_5-2*b_2_2^6*a_1_1*a_3_5+2*b_2_2^6*a_1_0*a_3_5 |
---|
66 | _[54]=b_8_9*a_9_11+2*b_2_2^4*b_2_3^3*a_3_5+b_2_2^5*b_2_3^2*a_3_5+b_2_2^6*b_2_3*a_3_5-b_2_2^6*b_2_3^2*a_1_1+b_2_2^7*a_3_5+b_2_2^7*b_2_3*a_1_1 |
---|
67 | STDIN 13> // _[1]=0+a_2_0*a_2_1+a_2_0^2+b_2_3*a_1_0+a_2_1*a_1_1+a_2_1*a_1_0+a_2_0*a_1_0+a_1_0*a_1_1 |
---|
68 | STDIN 14. std(I+ideal(FRS1[1])); |
---|
69 | _[1]=a_1_0*a_1_1 |
---|
70 | _[2]=a_2_0*a_1_0 |
---|
71 | _[3]=a_2_1*a_1_0-a_2_0*a_1_1 |
---|
72 | _[4]=a_2_1*a_1_1 |
---|
73 | _[5]=b_2_3*a_1_0-b_2_2*a_1_1 |
---|
74 | _[6]=a_2_0^2 |
---|
75 | _[7]=a_2_0*a_2_1 |
---|
76 | _[8]=a_2_1^2 |
---|
77 | _[9]=a_2_0*b_2_2+a_1_0*a_3_4 |
---|
78 | _[10]=a_2_0*b_2_3+2*a_1_1*a_3_4-a_1_0*a_3_5 |
---|
79 | _[11]=a_2_1*b_2_2+a_1_1*a_3_4-2*a_1_0*a_3_5 |
---|
80 | _[12]=a_2_1*b_2_3-a_1_1*a_3_5 |
---|
81 | _[13]=a_2_0*a_3_4 |
---|
82 | _[14]=a_2_1*a_3_4-a_2_0*a_3_5 |
---|
83 | _[15]=a_2_1*a_3_5 |
---|
84 | _[16]=b_2_3*a_3_4-b_2_2*a_3_5-2*b_2_2*b_2_3*a_1_1-2*b_2_2^2*a_1_1 |
---|
85 | _[17]=a_2_0*a_1_1*a_3_5 |
---|
86 | _[18]=b_2_2*a_1_1*a_3_4-b_2_2*a_1_0*a_3_5 |
---|
87 | _[19]=a_1_0*a_3_4*a_3_5 |
---|
88 | _[20]=a_1_1*a_3_4*a_3_5 |
---|
89 | _[21]=b_2_2*a_3_4*a_3_5-2*b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_5 |
---|
90 | _[22]=a_1_0*a_7_8+2*b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_5+2*b_2_2^2*a_1_0*a_3_4 |
---|
91 | _[23]=a_1_1*a_7_8+2*b_2_2*b_2_3*a_1_1*a_3_5-2*b_2_2^2*a_1_1*a_3_5+2*b_2_2^2*a_1_0*a_3_5 |
---|
92 | _[24]=a_2_0*a_7_8 |
---|
93 | _[25]=a_2_1*a_7_8 |
---|
94 | _[26]=b_2_2*a_7_8+2*b_2_2*b_2_3^3*a_1_1+2*b_2_2^2*b_2_3*a_3_5+b_2_2^2*b_2_3^2*a_1_1-2*b_2_2^3*a_3_5+2*b_2_2^3*a_3_4+2*b_2_2^3*b_2_3*a_1_1-b_2_2^4*a_1_1 |
---|
95 | _[27]=b_2_3*a_7_8+2*b_2_2*b_2_3^2*a_3_5+b_2_2*b_2_3^3*a_1_1-2*b_2_2^2*b_2_3*a_3_5+2*b_2_2^2*b_2_3^2*a_1_1+2*b_2_2^3*a_3_5-2*b_2_2^3*b_2_3*a_1_1+b_2_2^4*a_1_1 |
---|
96 | _[28]=b_8_9*a_1_0-b_2_2*b_2_3^3*a_1_1+b_2_2^2*b_2_3^2*a_1_1-2*b_2_2^3*b_2_3*a_1_1 |
---|
97 | _[29]=b_8_9*a_1_1+b_2_2*b_2_3^3*a_1_1-2*b_2_2^2*b_2_3^2*a_1_1-b_2_2^4*a_1_1 |
---|
98 | _[30]=c_10_12 |
---|
99 | _[31]=a_1_0*a_9_11-2*b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_4 |
---|
100 | _[32]=a_1_1*a_9_11-b_2_3^3*a_1_1*a_3_5-2*b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^3*a_1_0*a_3_5 |
---|
101 | _[33]=a_3_4*a_7_8-2*b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5-2*b_2_2^3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_5 |
---|
102 | _[34]=a_3_5*a_7_8-b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5 |
---|
103 | _[35]=a_2_0*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5-b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5 |
---|
104 | _[36]=a_2_1*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5 |
---|
105 | _[37]=b_2_2*b_8_9-b_2_2*b_2_3^4+b_2_2^2*b_2_3^3-2*b_2_2^3*b_2_3^2+b_2_2^2*b_2_3*a_1_1*a_3_5+b_2_2^3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_4 |
---|
106 | _[38]=b_2_3*b_8_9+b_2_2*b_2_3^4-2*b_2_2^2*b_2_3^3-b_2_2^4*b_2_3+b_2_2*b_2_3^2*a_1_1*a_3_5+b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_5 |
---|
107 | _[39]=a_2_0*a_9_11 |
---|
108 | _[40]=a_2_1*a_9_11 |
---|
109 | _[41]=b_2_2*b_2_3^4*a_1_1-b_2_2^5*a_1_1 |
---|
110 | _[42]=b_2_2*a_9_11-2*b_2_2^2*b_2_3^2*a_3_5+b_2_2^2*b_2_3^3*a_1_1-2*b_2_2^3*b_2_3^2*a_1_1+2*b_2_2^4*a_3_4-b_2_2^4*b_2_3*a_1_1-b_2_2^5*a_1_1 |
---|
111 | _[43]=b_2_3*a_9_11-b_2_3^4*a_3_5-2*b_2_2*b_2_3^3*a_3_5-2*b_2_2^2*b_2_3^3*a_1_1-b_2_2^3*b_2_3^2*a_1_1-2*b_2_2^4*a_3_5-2*b_2_2^4*b_2_3*a_1_1 |
---|
112 | _[44]=b_8_9*a_3_4-b_2_2*b_2_3^3*a_3_5+b_2_2^2*b_2_3^2*a_3_5-2*b_2_2^3*b_2_3*a_3_5-2*b_2_2^3*b_2_3^2*a_1_1+b_2_2^4*b_2_3*a_1_1-2*b_2_2^5*a_1_1 |
---|
113 | _[45]=b_8_9*a_3_5+b_2_2*b_2_3^3*a_3_5-2*b_2_2^2*b_2_3^2*a_3_5-b_2_2^4*a_3_5 |
---|
114 | _[46]=b_2_2*b_2_3^3*a_1_1*a_3_5-b_2_2^4*a_1_0*a_3_5 |
---|
115 | _[47]=a_3_4*a_9_11-2*b_2_2^3*b_2_3*a_1_1*a_3_5+b_2_2^4*a_1_1*a_3_5+b_2_2^4*a_1_0*a_3_5 |
---|
116 | _[48]=a_3_5*a_9_11+2*b_2_2^2*b_2_3^2*a_1_1*a_3_5+b_2_2^3*b_2_3*a_1_1*a_3_5+2*b_2_2^4*a_1_1*a_3_5 |
---|
117 | _[49]=b_2_2*b_2_3^5-b_2_2^5*b_2_3 |
---|
118 | _[50]=b_2_2*b_2_3^4*a_3_5-b_2_2^5*a_3_5 |
---|
119 | _[51]=b_8_9*a_7_8-2*b_2_2^3*b_2_3^3*a_3_5-b_2_2^4*b_2_3^2*a_3_5+2*b_2_2^4*b_2_3^3*a_1_1+b_2_2^5*b_2_3*a_3_5+b_2_2^5*b_2_3^2*a_1_1+b_2_2^6*a_3_5-2*b_2_2^6*b_2_3*a_1_1-2*b_2_2^7*a_1_1 |
---|
120 | _[52]=a_7_8*a_9_11+b_2_2^4*b_2_3^2*a_1_1*a_3_5-b_2_2^5*b_2_3*a_1_1*a_3_5 |
---|
121 | _[53]=b_8_9^2+2*b_2_2^5*b_2_3^3-b_2_2^7*b_2_3-2*b_2_2^4*b_2_3^2*a_1_1*a_3_5-2*b_2_2^5*b_2_3*a_1_1*a_3_5-2*b_2_2^6*a_1_1*a_3_5+2*b_2_2^6*a_1_0*a_3_5 |
---|
122 | _[54]=b_8_9*a_9_11+2*b_2_2^4*b_2_3^3*a_3_5+b_2_2^5*b_2_3^2*a_3_5+b_2_2^6*b_2_3*a_3_5-b_2_2^6*b_2_3^2*a_1_1+b_2_2^7*a_3_5+b_2_2^7*b_2_3*a_1_1 |
---|
123 | STDIN 15> /* |
---|
124 | STDIN 16. _[1]=a_1_0*a_1_1 |
---|
125 | STDIN 17. _[2]=a_2_0*a_1_0 |
---|
126 | STDIN 18. _[3]=a_2_1*a_1_0-a_2_0*a_1_1 |
---|
127 | STDIN 19. _[4]=a_2_1*a_1_1 |
---|
128 | STDIN 20. _[5]=b_2_3*a_1_0-b_2_2*a_1_1 |
---|
129 | STDIN 21. _[54]=b_8_9*a_9_11+2*b_2_2^4*b_2_3^3*a_3_5+b_2_2^5*b_2_3^2*a_3_5+b_2_2^6*b_2_3*a_3_5-b_2_2^6*b_2_3^2*a_1_1+b_2_2^7*a_3_5+b_2_2^7*b_2_3*a_1_1 |
---|
130 | STDIN 22. */ |
---|
131 | STDIN 23. NF(c_10_12,_); |
---|
132 | 0 |
---|
133 | STDIN 24> // 0 |
---|
134 | STDIN 25. std(I+ideal(FRS1[1])); |
---|
135 | _[1]=a_1_0*a_1_1 |
---|
136 | _[2]=a_2_0*a_1_0 |
---|
137 | _[3]=a_2_1*a_1_0-a_2_0*a_1_1 |
---|
138 | _[4]=a_2_1*a_1_1 |
---|
139 | _[5]=b_2_3*a_1_0-b_2_2*a_1_1 |
---|
140 | _[6]=a_2_0^2 |
---|
141 | _[7]=a_2_0*a_2_1 |
---|
142 | _[8]=a_2_1^2 |
---|
143 | _[9]=a_2_0*b_2_2+a_1_0*a_3_4 |
---|
144 | _[10]=a_2_0*b_2_3+2*a_1_1*a_3_4-a_1_0*a_3_5 |
---|
145 | _[11]=a_2_1*b_2_2+a_1_1*a_3_4-2*a_1_0*a_3_5 |
---|
146 | _[12]=a_2_1*b_2_3-a_1_1*a_3_5 |
---|
147 | _[13]=a_2_0*a_3_4 |
---|
148 | _[14]=a_2_1*a_3_4-a_2_0*a_3_5 |
---|
149 | _[15]=a_2_1*a_3_5 |
---|
150 | _[16]=b_2_3*a_3_4-b_2_2*a_3_5-2*b_2_2*b_2_3*a_1_1-2*b_2_2^2*a_1_1 |
---|
151 | _[17]=a_2_0*a_1_1*a_3_5 |
---|
152 | _[18]=b_2_2*a_1_1*a_3_4-b_2_2*a_1_0*a_3_5 |
---|
153 | _[19]=a_1_0*a_3_4*a_3_5 |
---|
154 | _[20]=a_1_1*a_3_4*a_3_5 |
---|
155 | _[21]=b_2_2*a_3_4*a_3_5-2*b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_5 |
---|
156 | _[22]=a_1_0*a_7_8+2*b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_5+2*b_2_2^2*a_1_0*a_3_4 |
---|
157 | _[23]=a_1_1*a_7_8+2*b_2_2*b_2_3*a_1_1*a_3_5-2*b_2_2^2*a_1_1*a_3_5+2*b_2_2^2*a_1_0*a_3_5 |
---|
158 | _[24]=a_2_0*a_7_8 |
---|
159 | _[25]=a_2_1*a_7_8 |
---|
160 | _[26]=b_2_2*a_7_8+2*b_2_2*b_2_3^3*a_1_1+2*b_2_2^2*b_2_3*a_3_5+b_2_2^2*b_2_3^2*a_1_1-2*b_2_2^3*a_3_5+2*b_2_2^3*a_3_4+2*b_2_2^3*b_2_3*a_1_1-b_2_2^4*a_1_1 |
---|
161 | _[27]=b_2_3*a_7_8+2*b_2_2*b_2_3^2*a_3_5+b_2_2*b_2_3^3*a_1_1-2*b_2_2^2*b_2_3*a_3_5+2*b_2_2^2*b_2_3^2*a_1_1+2*b_2_2^3*a_3_5-2*b_2_2^3*b_2_3*a_1_1+b_2_2^4*a_1_1 |
---|
162 | _[28]=b_8_9*a_1_0-b_2_2*b_2_3^3*a_1_1+b_2_2^2*b_2_3^2*a_1_1-2*b_2_2^3*b_2_3*a_1_1 |
---|
163 | _[29]=b_8_9*a_1_1+b_2_2*b_2_3^3*a_1_1-2*b_2_2^2*b_2_3^2*a_1_1-b_2_2^4*a_1_1 |
---|
164 | _[30]=c_10_12 |
---|
165 | _[31]=a_1_0*a_9_11-2*b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_4 |
---|
166 | _[32]=a_1_1*a_9_11-b_2_3^3*a_1_1*a_3_5-2*b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^3*a_1_0*a_3_5 |
---|
167 | _[33]=a_3_4*a_7_8-2*b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5-2*b_2_2^3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_5 |
---|
168 | _[34]=a_3_5*a_7_8-b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5 |
---|
169 | _[35]=a_2_0*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5-b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5 |
---|
170 | _[36]=a_2_1*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5 |
---|
171 | _[37]=b_2_2*b_8_9-b_2_2*b_2_3^4+b_2_2^2*b_2_3^3-2*b_2_2^3*b_2_3^2+b_2_2^2*b_2_3*a_1_1*a_3_5+b_2_2^3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_4 |
---|
172 | _[38]=b_2_3*b_8_9+b_2_2*b_2_3^4-2*b_2_2^2*b_2_3^3-b_2_2^4*b_2_3+b_2_2*b_2_3^2*a_1_1*a_3_5+b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_5 |
---|
173 | _[39]=a_2_0*a_9_11 |
---|
174 | _[40]=a_2_1*a_9_11 |
---|
175 | _[41]=b_2_2*b_2_3^4*a_1_1-b_2_2^5*a_1_1 |
---|
176 | _[42]=b_2_2*a_9_11-2*b_2_2^2*b_2_3^2*a_3_5+b_2_2^2*b_2_3^3*a_1_1-2*b_2_2^3*b_2_3^2*a_1_1+2*b_2_2^4*a_3_4-b_2_2^4*b_2_3*a_1_1-b_2_2^5*a_1_1 |
---|
177 | _[43]=b_2_3*a_9_11-b_2_3^4*a_3_5-2*b_2_2*b_2_3^3*a_3_5-2*b_2_2^2*b_2_3^3*a_1_1-b_2_2^3*b_2_3^2*a_1_1-2*b_2_2^4*a_3_5-2*b_2_2^4*b_2_3*a_1_1 |
---|
178 | _[44]=b_8_9*a_3_4-b_2_2*b_2_3^3*a_3_5+b_2_2^2*b_2_3^2*a_3_5-2*b_2_2^3*b_2_3*a_3_5-2*b_2_2^3*b_2_3^2*a_1_1+b_2_2^4*b_2_3*a_1_1-2*b_2_2^5*a_1_1 |
---|
179 | _[45]=b_8_9*a_3_5+b_2_2*b_2_3^3*a_3_5-2*b_2_2^2*b_2_3^2*a_3_5-b_2_2^4*a_3_5 |
---|
180 | _[46]=b_2_2*b_2_3^3*a_1_1*a_3_5-b_2_2^4*a_1_0*a_3_5 |
---|
181 | _[47]=a_3_4*a_9_11-2*b_2_2^3*b_2_3*a_1_1*a_3_5+b_2_2^4*a_1_1*a_3_5+b_2_2^4*a_1_0*a_3_5 |
---|
182 | _[48]=a_3_5*a_9_11+2*b_2_2^2*b_2_3^2*a_1_1*a_3_5+b_2_2^3*b_2_3*a_1_1*a_3_5+2*b_2_2^4*a_1_1*a_3_5 |
---|
183 | _[49]=b_2_2*b_2_3^5-b_2_2^5*b_2_3 |
---|
184 | _[50]=b_2_2*b_2_3^4*a_3_5-b_2_2^5*a_3_5 |
---|
185 | _[51]=b_8_9*a_7_8-2*b_2_2^3*b_2_3^3*a_3_5-b_2_2^4*b_2_3^2*a_3_5+2*b_2_2^4*b_2_3^3*a_1_1+b_2_2^5*b_2_3*a_3_5+b_2_2^5*b_2_3^2*a_1_1+b_2_2^6*a_3_5-2*b_2_2^6*b_2_3*a_1_1-2*b_2_2^7*a_1_1 |
---|
186 | _[52]=a_7_8*a_9_11+b_2_2^4*b_2_3^2*a_1_1*a_3_5-b_2_2^5*b_2_3*a_1_1*a_3_5 |
---|
187 | _[53]=b_8_9^2+2*b_2_2^5*b_2_3^3-b_2_2^7*b_2_3-2*b_2_2^4*b_2_3^2*a_1_1*a_3_5-2*b_2_2^5*b_2_3*a_1_1*a_3_5-2*b_2_2^6*a_1_1*a_3_5+2*b_2_2^6*a_1_0*a_3_5 |
---|
188 | _[54]=b_8_9*a_9_11+2*b_2_2^4*b_2_3^3*a_3_5+b_2_2^5*b_2_3^2*a_3_5+b_2_2^6*b_2_3*a_3_5-b_2_2^6*b_2_3^2*a_1_1+b_2_2^7*a_3_5+b_2_2^7*b_2_3*a_1_1 |
---|
189 | STDIN 26> |
---|
190 | STDIN 27. |
---|
191 | STDIN 28. $$$ |
---|