Ticket #65: NCBug.res

File NCBug.res, 15.1 KB (added by Oleksandr , 15 years ago)

res for current (more or less) Singular

Line 
1STDIN   1> LIB "ncall.lib";
2STDIN   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);
3STDIN   3> def R = SuperCommutative(7);
4STDIN   4> setring R;
5STDIN   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;
6STDIN   6> I = groebner(I);
7STDIN   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;
8STDIN   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;
9STDIN   9>
10STDIN  10.
11STDIN  11.
12STDIN  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
67STDIN  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
68STDIN  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
123STDIN  15> /*
124STDIN  16. _[1]=a_1_0*a_1_1
125STDIN  17. _[2]=a_2_0*a_1_0
126STDIN  18. _[3]=a_2_1*a_1_0-a_2_0*a_1_1
127STDIN  19. _[4]=a_2_1*a_1_1
128STDIN  20. _[5]=b_2_3*a_1_0-b_2_2*a_1_1
129STDIN  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
130STDIN  22. */
131STDIN  23. NF(c_10_12,_);
1320
133STDIN  24> // 0
134STDIN  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
189STDIN  26>
190STDIN  27.
191STDIN  28. $$$