| 1 | intmat m1[8][8] = |
|---|
| 2 | 2, 2, 2, 4, 1, 1, 3, 3, |
|---|
| 3 | 0, 0, 0,-1, 0, 0, 0, 0, |
|---|
| 4 | 0, 0, 0, 0,-1, 0, 0, 0, |
|---|
| 5 | -1, 0, 0, 0, 0, 0, 0, 0, |
|---|
| 6 | 0,-1, 0, 0, 0, 0, 0, 0, |
|---|
| 7 | 0, 0,-1, 0, 0, 0, 0, 0, |
|---|
| 8 | 0, 0, 0, 0, 0,-1, 0, 0, |
|---|
| 9 | 0, 0, 0, 0, 0, 0,-1, 0; |
|---|
| 10 | ring R1 = 2, (b_2_1,b_2_2,b_2_3,c_4_8,a_1_0,b_1_1,b_3_4,b_3_5), M(m1); |
|---|
| 11 | ideal I; |
|---|
| 12 | I[1]=a_1_0^2; |
|---|
| 13 | I[2]=a_1_0*b_1_1; |
|---|
| 14 | I[3]=b_2_3*a_1_0+b_2_2*a_1_0; |
|---|
| 15 | I[4]=b_2_1*b_1_1+b_2_2*a_1_0; |
|---|
| 16 | I[5]=b_2_2*b_1_1+b_2_2*a_1_0; |
|---|
| 17 | I[6]=a_1_0*b_3_4; |
|---|
| 18 | I[7]=a_1_0*b_3_5; |
|---|
| 19 | I[8]=b_2_2^2+b_2_1*b_2_3; |
|---|
| 20 | I[9]=b_1_1*b_3_4; |
|---|
| 21 | I[10]=b_2_2*b_3_4+b_2_1*b_3_5+b_2_1*b_2_2*a_1_0; |
|---|
| 22 | I[11]=b_2_3*b_3_4+b_2_2*b_3_5+b_2_1*b_2_2*a_1_0; |
|---|
| 23 | I[12]=b_3_4^2+b_2_1*b_2_3^2+b_2_1^2*b_2_3; |
|---|
| 24 | I[13]=b_3_4*b_3_5+b_2_2*b_2_3^2+b_2_1*b_2_2*b_2_3; |
|---|
| 25 | I[14]=b_3_5^2+b_2_3*b_1_1*b_3_5+b_2_3^3+b_2_1*b_2_3^2+c_4_8*b_1_1^2; |
|---|
| 26 | qring Q1 = groebner(I); |
|---|
| 27 | |
|---|
| 28 | |
|---|
| 29 | intmat m2[5][5] = |
|---|
| 30 | 2, 2, 2, 1, 1, |
|---|
| 31 | 0,-1,-1, 0, 0, |
|---|
| 32 | 0, 0, 0,-1, 0, |
|---|
| 33 | -1, 0, 0, 0, 0, |
|---|
| 34 | 0,-1, 0, 0, 0; |
|---|
| 35 | ring R2 = 2, (@b_2_1,@c_2_2,@c_2_3,@a_1_0,@b_1_1), M(m2); |
|---|
| 36 | ideal I; |
|---|
| 37 | I[1]=@a_1_0^2; |
|---|
| 38 | I[2]=@a_1_0*@b_1_1; |
|---|
| 39 | I[3]=@b_2_1*@a_1_0; |
|---|
| 40 | I[4]=@b_2_1^2+@c_2_2*@b_1_1^2; |
|---|
| 41 | qring Q2 = groebner(I); |
|---|
| 42 | |
|---|
| 43 | def Q = Q1+Q2; |
|---|
| 44 | setring Q; |
|---|
| 45 | |
|---|
| 46 | ideal t = a_1_0, b_1_1, b_2_1, b_2_2, b_2_3, b_3_4, b_3_5, c_4_8; |
|---|
| 47 | |
|---|
