/
out_g43_forbidden_mixed2_3star.txt
184 lines (184 loc) · 6.7 KB
/
out_g43_forbidden_mixed2_3star.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
+ ./Singular/Singular/Singular -q --no-rc -e 2>&1 < "g43_forbidden_mixed2_3star.s"
STDIN 1> // n=4 c=3
STDIN 2. // total variables: 54
STDIN 3. // total constraints: 81
STDIN 4. ring R = QQ[
STDIN 5. w0100, w0101, w0102, w0110, w0111, w0112, w0120, w0121, w0122,
STDIN 6. w0200, w0201, w0202, w0210, w0211, w0212, w0220, w0221, w0222,
STDIN 7. w0300, w0301, w0302, w0310, w0311, w0312, w0320, w0321, w0322,
STDIN 8. w1200, w1201, w1202, w1210, w1211, w1212, w1220, w1221, w1222,
STDIN 9. w1300, w1301, w1302, w1310, w1311, w1312, w1320, w1321, w1322,
STDIN 10. w2300, w2301, w2302, w2310, w2311, w2312, w2320, w2321, w2322];
STDIN 11> ideal I =
STDIN 12. w0100*w2300 + w0200*w1300 + w0300*w1200 - 1,
STDIN 13. w0100*w2301 + w0200*w1301 + w0301*w1200,
STDIN 14. w0100*w2302 + w0200*w1302 + w0302*w1200,
STDIN 15. w0100*w2310 + w0201*w1300 + w0300*w1201,
STDIN 16. w0100*w2311 + w0201*w1301 + w0301*w1201,
STDIN 17. w0100*w2312 + w0201*w1302 + w0302*w1201,
STDIN 18. w0100*w2320 + w0202*w1300 + w0300*w1202,
STDIN 19. w0100*w2321 + w0202*w1301 + w0301*w1202,
STDIN 20. w0100*w2322 + w0202*w1302 + w0302*w1202,
STDIN 21. w0101*w2300 + w0200*w1310 + w0300*w1210,
STDIN 22. w0101*w2301 + w0200*w1311 + w0301*w1210,
STDIN 23. w0101*w2302 + w0200*w1312 + w0302*w1210,
STDIN 24. w0101*w2310 + w0201*w1310 + w0300*w1211,
STDIN 25. w0101*w2311 + w0201*w1311 + w0301*w1211,
STDIN 26. w0101*w2312 + w0201*w1312 + w0302*w1211,
STDIN 27. w0101*w2320 + w0202*w1310 + w0300*w1212,
STDIN 28. w0101*w2321 + w0202*w1311 + w0301*w1212,
STDIN 29. w0101*w2322 + w0202*w1312 + w0302*w1212,
STDIN 30. w0102*w2300 + w0200*w1320 + w0300*w1220,
STDIN 31. w0102*w2301 + w0200*w1321 + w0301*w1220,
STDIN 32. w0102*w2302 + w0200*w1322 + w0302*w1220,
STDIN 33. w0102*w2310 + w0201*w1320 + w0300*w1221,
STDIN 34. w0102*w2311 + w0201*w1321 + w0301*w1221,
STDIN 35. w0102*w2312 + w0201*w1322 + w0302*w1221,
STDIN 36. w0102*w2320 + w0202*w1320 + w0300*w1222,
STDIN 37. w0102*w2321 + w0202*w1321 + w0301*w1222,
STDIN 38. w0102*w2322 + w0202*w1322 + w0302*w1222,
STDIN 39. w0110*w2300 + w0210*w1300 + w0310*w1200,
STDIN 40. w0110*w2301 + w0210*w1301 + w0311*w1200,
STDIN 41. w0110*w2302 + w0210*w1302 + w0312*w1200,
STDIN 42. w0110*w2310 + w0211*w1300 + w0310*w1201,
STDIN 43. w0110*w2311 + w0211*w1301 + w0311*w1201,
STDIN 44. w0110*w2312 + w0211*w1302 + w0312*w1201,
STDIN 45. w0110*w2320 + w0212*w1300 + w0310*w1202,
STDIN 46. w0110*w2321 + w0212*w1301 + w0311*w1202,
STDIN 47. w0110*w2322 + w0212*w1302 + w0312*w1202,
STDIN 48. w0111*w2300 + w0210*w1310 + w0310*w1210,
STDIN 49. w0111*w2301 + w0210*w1311 + w0311*w1210,
STDIN 50. w0111*w2302 + w0210*w1312 + w0312*w1210,
STDIN 51. w0111*w2310 + w0211*w1310 + w0310*w1211,
STDIN 52. w0111*w2311 + w0211*w1311 + w0311*w1211 - 1,
STDIN 53. w0111*w2312 + w0211*w1312 + w0312*w1211,
STDIN 54. w0111*w2320 + w0212*w1310 + w0310*w1212,
STDIN 55. w0111*w2321 + w0212*w1311 + w0311*w1212,
STDIN 56. w0111*w2322 + w0212*w1312 + w0312*w1212,
STDIN 57. w0112*w2300 + w0210*w1320 + w0310*w1220,
STDIN 58. w0112*w2301 + w0210*w1321 + w0311*w1220,
STDIN 59. w0112*w2302 + w0210*w1322 + w0312*w1220,
STDIN 60. w0112*w2310 + w0211*w1320 + w0310*w1221,
STDIN 61. w0112*w2311 + w0211*w1321 + w0311*w1221,
STDIN 62. w0112*w2312 + w0211*w1322 + w0312*w1221,
STDIN 63. w0112*w2320 + w0212*w1320 + w0310*w1222,
STDIN 64. w0112*w2321 + w0212*w1321 + w0311*w1222,
STDIN 65. w0112*w2322 + w0212*w1322 + w0312*w1222,
STDIN 66. w0120*w2300 + w0220*w1300 + w0320*w1200,
STDIN 67. w0120*w2301 + w0220*w1301 + w0321*w1200,
STDIN 68. w0120*w2302 + w0220*w1302 + w0322*w1200,
STDIN 69. w0120*w2310 + w0221*w1300 + w0320*w1201,
STDIN 70. w0120*w2311 + w0221*w1301 + w0321*w1201,
STDIN 71. w0120*w2312 + w0221*w1302 + w0322*w1201,
STDIN 72. w0120*w2320 + w0222*w1300 + w0320*w1202,
STDIN 73. w0120*w2321 + w0222*w1301 + w0321*w1202,
STDIN 74. w0120*w2322 + w0222*w1302 + w0322*w1202,
STDIN 75. w0121*w2300 + w0220*w1310 + w0320*w1210,
STDIN 76. w0121*w2301 + w0220*w1311 + w0321*w1210,
STDIN 77. w0121*w2302 + w0220*w1312 + w0322*w1210,
STDIN 78. w0121*w2310 + w0221*w1310 + w0320*w1211,
STDIN 79. w0121*w2311 + w0221*w1311 + w0321*w1211,
STDIN 80. w0121*w2312 + w0221*w1312 + w0322*w1211,
STDIN 81. w0121*w2320 + w0222*w1310 + w0320*w1212,
STDIN 82. w0121*w2321 + w0222*w1311 + w0321*w1212,
STDIN 83. w0121*w2322 + w0222*w1312 + w0322*w1212,
STDIN 84. w0122*w2300 + w0220*w1320 + w0320*w1220,
STDIN 85. w0122*w2301 + w0220*w1321 + w0321*w1220,
STDIN 86. w0122*w2302 + w0220*w1322 + w0322*w1220,
STDIN 87. w0122*w2310 + w0221*w1320 + w0320*w1221,
STDIN 88. w0122*w2311 + w0221*w1321 + w0321*w1221,
STDIN 89. w0122*w2312 + w0221*w1322 + w0322*w1221,
STDIN 90. w0122*w2320 + w0222*w1320 + w0320*w1222,
STDIN 91. w0122*w2321 + w0222*w1321 + w0321*w1222,
STDIN 92. w0122*w2322 + w0222*w1322 + w0322*w1222 - 1;
STDIN 93> //option(redSB);
STDIN 94. //option(prot); // show progress/debug output
STDIN 95. ideal subI = ideal(w0312*w1322*w2322);
STDIN 96> matrix T;
STDIN 97> matrix T2 = lift(I, subI, T, "slimgb");
STDIN 98> T2;
T2[1,1]=-w0312*w1322*w2322
T2[2,1]=0
T2[3,1]=-w0312*w1322*w2320-w0312*w1320*w2322-w0310*w1322*w2322
T2[4,1]=0
T2[5,1]=0
T2[6,1]=0
T2[7,1]=w0312*w1322*w2302
T2[8,1]=0
T2[9,1]=w0312*w1322*w2300+w0312*w1320*w2302+w0310*w1322*w2302
T2[10,1]=0
T2[11,1]=0
T2[12,1]=0
T2[13,1]=0
T2[14,1]=0
T2[15,1]=0
T2[16,1]=0
T2[17,1]=0
T2[18,1]=0
T2[19,1]=w0312*w1302*w2322
T2[20,1]=0
T2[21,1]=w0312*w1302*w2320+w0312*w1300*w2322+w0310*w1302*w2322
T2[22,1]=0
T2[23,1]=0
T2[24,1]=0
T2[25,1]=-w0312*w1302*w2302
T2[26,1]=0
T2[27,1]=-w0312*w1302*w2300-w0312*w1300*w2302-w0310*w1302*w2302
T2[28,1]=w0302*w1322*w2322
T2[29,1]=0
T2[30,1]=w0302*w1322*w2320+w0302*w1320*w2322+w0300*w1322*w2322
T2[31,1]=0
T2[32,1]=0
T2[33,1]=0
T2[34,1]=-w0302*w1322*w2302
T2[35,1]=0
T2[36,1]=-w0302*w1322*w2300-w0302*w1320*w2302-w0300*w1322*w2302
T2[37,1]=0
T2[38,1]=0
T2[39,1]=0
T2[40,1]=0
T2[41,1]=0
T2[42,1]=0
T2[43,1]=0
T2[44,1]=0
T2[45,1]=0
T2[46,1]=-w0302*w1302*w2322
T2[47,1]=0
T2[48,1]=-w0302*w1302*w2320-w0302*w1300*w2322-w0300*w1302*w2322
T2[49,1]=0
T2[50,1]=0
T2[51,1]=0
T2[52,1]=w0302*w1302*w2302
T2[53,1]=0
T2[54,1]=w0302*w1302*w2300+w0302*w1300*w2302+w0300*w1302*w2302
T2[55,1]=0
T2[56,1]=0
T2[57,1]=0
T2[58,1]=0
T2[59,1]=0
T2[60,1]=0
T2[61,1]=0
T2[62,1]=0
T2[63,1]=0
T2[64,1]=0
T2[65,1]=0
T2[66,1]=0
T2[67,1]=0
T2[68,1]=0
T2[69,1]=0
T2[70,1]=0
T2[71,1]=0
T2[72,1]=0
T2[73,1]=0
T2[74,1]=0
T2[75,1]=0
T2[76,1]=0
T2[77,1]=0
T2[78,1]=0
T2[79,1]=0
T2[80,1]=0
T2[81,1]=0
STDIN 99> // verify lift
STDIN 100. matrix(I)*T2;
_[1,1]=w0312*w1322*w2322
max memory(KB):952376 time(sec):82.67 = 1:22.67