/
out_g43_forbidden_multicolor_2star.txt
198 lines (198 loc) · 6.96 KB
/
out_g43_forbidden_multicolor_2star.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
185
186
187
188
189
190
191
192
193
194
195
196
197
198
+ ./Singular/Singular/Singular -q --no-rc -e 2>&1 < "g43_forbidden_multicolor_2star.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. // Provide help by including some previously derived simpler constraints.
STDIN 13. // With this guidance, the calculation is < 1 sec,
STDIN 14. // without it, the calculation takes a lot of memory, and much longer.
STDIN 15. // (An attempt to run without guidance ran out of memory at this stage:
STDIN 16. // max memory(KB):143180284 time(sec):13107.47 = 3:38:27 )
STDIN 17. w0322*w1322*w2322, // from: g43_forbidden_monochrome_3star.s
STDIN 18. w0322*w1322*w2312, // from: g43_forbidden_mixed2_3star.s, with node relabelling
STDIN 19. w0322*w1312*w2322, // ''
STDIN 20. w0322*w1312*w2312, // from: g43_forbidden_mixed1_3star.s, with node relabelling
STDIN 21.
STDIN 22. w0100*w2300 + w0200*w1300 + w0300*w1200 - 1,
STDIN 23. w0100*w2301 + w0200*w1301 + w0301*w1200,
STDIN 24. w0100*w2302 + w0200*w1302 + w0302*w1200,
STDIN 25. w0100*w2310 + w0201*w1300 + w0300*w1201,
STDIN 26. w0100*w2311 + w0201*w1301 + w0301*w1201,
STDIN 27. w0100*w2312 + w0201*w1302 + w0302*w1201,
STDIN 28. w0100*w2320 + w0202*w1300 + w0300*w1202,
STDIN 29. w0100*w2321 + w0202*w1301 + w0301*w1202,
STDIN 30. w0100*w2322 + w0202*w1302 + w0302*w1202,
STDIN 31. w0101*w2300 + w0200*w1310 + w0300*w1210,
STDIN 32. w0101*w2301 + w0200*w1311 + w0301*w1210,
STDIN 33. w0101*w2302 + w0200*w1312 + w0302*w1210,
STDIN 34. w0101*w2310 + w0201*w1310 + w0300*w1211,
STDIN 35. w0101*w2311 + w0201*w1311 + w0301*w1211,
STDIN 36. w0101*w2312 + w0201*w1312 + w0302*w1211,
STDIN 37. w0101*w2320 + w0202*w1310 + w0300*w1212,
STDIN 38. w0101*w2321 + w0202*w1311 + w0301*w1212,
STDIN 39. w0101*w2322 + w0202*w1312 + w0302*w1212,
STDIN 40. w0102*w2300 + w0200*w1320 + w0300*w1220,
STDIN 41. w0102*w2301 + w0200*w1321 + w0301*w1220,
STDIN 42. w0102*w2302 + w0200*w1322 + w0302*w1220,
STDIN 43. w0102*w2310 + w0201*w1320 + w0300*w1221,
STDIN 44. w0102*w2311 + w0201*w1321 + w0301*w1221,
STDIN 45. w0102*w2312 + w0201*w1322 + w0302*w1221,
STDIN 46. w0102*w2320 + w0202*w1320 + w0300*w1222,
STDIN 47. w0102*w2321 + w0202*w1321 + w0301*w1222,
STDIN 48. w0102*w2322 + w0202*w1322 + w0302*w1222,
STDIN 49. w0110*w2300 + w0210*w1300 + w0310*w1200,
STDIN 50. w0110*w2301 + w0210*w1301 + w0311*w1200,
STDIN 51. w0110*w2302 + w0210*w1302 + w0312*w1200,
STDIN 52. w0110*w2310 + w0211*w1300 + w0310*w1201,
STDIN 53. w0110*w2311 + w0211*w1301 + w0311*w1201,
STDIN 54. w0110*w2312 + w0211*w1302 + w0312*w1201,
STDIN 55. w0110*w2320 + w0212*w1300 + w0310*w1202,
STDIN 56. w0110*w2321 + w0212*w1301 + w0311*w1202,
STDIN 57. w0110*w2322 + w0212*w1302 + w0312*w1202,
STDIN 58. w0111*w2300 + w0210*w1310 + w0310*w1210,
STDIN 59. w0111*w2301 + w0210*w1311 + w0311*w1210,
STDIN 60. w0111*w2302 + w0210*w1312 + w0312*w1210,
STDIN 61. w0111*w2310 + w0211*w1310 + w0310*w1211,
STDIN 62. w0111*w2311 + w0211*w1311 + w0311*w1211 - 1,
STDIN 63. w0111*w2312 + w0211*w1312 + w0312*w1211,
STDIN 64. w0111*w2320 + w0212*w1310 + w0310*w1212,
STDIN 65. w0111*w2321 + w0212*w1311 + w0311*w1212,
STDIN 66. w0111*w2322 + w0212*w1312 + w0312*w1212,
STDIN 67. w0112*w2300 + w0210*w1320 + w0310*w1220,
STDIN 68. w0112*w2301 + w0210*w1321 + w0311*w1220,
STDIN 69. w0112*w2302 + w0210*w1322 + w0312*w1220,
STDIN 70. w0112*w2310 + w0211*w1320 + w0310*w1221,
STDIN 71. w0112*w2311 + w0211*w1321 + w0311*w1221,
STDIN 72. w0112*w2312 + w0211*w1322 + w0312*w1221,
STDIN 73. w0112*w2320 + w0212*w1320 + w0310*w1222,
STDIN 74. w0112*w2321 + w0212*w1321 + w0311*w1222,
STDIN 75. w0112*w2322 + w0212*w1322 + w0312*w1222,
STDIN 76. w0120*w2300 + w0220*w1300 + w0320*w1200,
STDIN 77. w0120*w2301 + w0220*w1301 + w0321*w1200,
STDIN 78. w0120*w2302 + w0220*w1302 + w0322*w1200,
STDIN 79. w0120*w2310 + w0221*w1300 + w0320*w1201,
STDIN 80. w0120*w2311 + w0221*w1301 + w0321*w1201,
STDIN 81. w0120*w2312 + w0221*w1302 + w0322*w1201,
STDIN 82. w0120*w2320 + w0222*w1300 + w0320*w1202,
STDIN 83. w0120*w2321 + w0222*w1301 + w0321*w1202,
STDIN 84. w0120*w2322 + w0222*w1302 + w0322*w1202,
STDIN 85. w0121*w2300 + w0220*w1310 + w0320*w1210,
STDIN 86. w0121*w2301 + w0220*w1311 + w0321*w1210,
STDIN 87. w0121*w2302 + w0220*w1312 + w0322*w1210,
STDIN 88. w0121*w2310 + w0221*w1310 + w0320*w1211,
STDIN 89. w0121*w2311 + w0221*w1311 + w0321*w1211,
STDIN 90. w0121*w2312 + w0221*w1312 + w0322*w1211,
STDIN 91. w0121*w2320 + w0222*w1310 + w0320*w1212,
STDIN 92. w0121*w2321 + w0222*w1311 + w0321*w1212,
STDIN 93. w0121*w2322 + w0222*w1312 + w0322*w1212,
STDIN 94. w0122*w2300 + w0220*w1320 + w0320*w1220,
STDIN 95. w0122*w2301 + w0220*w1321 + w0321*w1220,
STDIN 96. w0122*w2302 + w0220*w1322 + w0322*w1220,
STDIN 97. w0122*w2310 + w0221*w1320 + w0320*w1221,
STDIN 98. w0122*w2311 + w0221*w1321 + w0321*w1221,
STDIN 99. w0122*w2312 + w0221*w1322 + w0322*w1221,
STDIN 100. w0122*w2320 + w0222*w1320 + w0320*w1222,
STDIN 101. w0122*w2321 + w0222*w1321 + w0321*w1222,
STDIN 102. w0122*w2322 + w0222*w1322 + w0322*w1222 - 1;
STDIN 103> //option(redSB);
STDIN 104. //option(prot); // show progress/debug output
STDIN 105. ideal subI = ideal(w1312*w2312);
STDIN 106> matrix T;
STDIN 107> matrix T2 = lift(I, subI, T, "slimgb");
STDIN 108> T2;
T2[1,1]=w1211
T2[2,1]=-w1212
T2[3,1]=-w1221
T2[4,1]=w1222
T2[5,1]=0
T2[6,1]=0
T2[7,1]=0
T2[8,1]=0
T2[9,1]=0
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]=0
T2[20,1]=0
T2[21,1]=0
T2[22,1]=0
T2[23,1]=0
T2[24,1]=0
T2[25,1]=0
T2[26,1]=0
T2[27,1]=0
T2[28,1]=0
T2[29,1]=0
T2[30,1]=0
T2[31,1]=0
T2[32,1]=0
T2[33,1]=0
T2[34,1]=0
T2[35,1]=0
T2[36,1]=0
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]=0
T2[47,1]=0
T2[48,1]=0
T2[49,1]=0
T2[50,1]=0
T2[51,1]=0
T2[52,1]=0
T2[53,1]=0
T2[54,1]=0
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]=-w1322*w2322
T2[74,1]=0
T2[75,1]=0
T2[76,1]=w1322*w2312
T2[77,1]=0
T2[78,1]=0
T2[79,1]=0
T2[80,1]=0
T2[81,1]=0
T2[82,1]=w1312*w2322
T2[83,1]=0
T2[84,1]=0
T2[85,1]=-w1312*w2312
STDIN 109> // verify lift
STDIN 110. matrix(I)*T2;
_[1,1]=w1312*w2312
max memory(KB):15892 time(sec):0.13 = 0:00.13