1 | LIB "tst.lib"; tst_init(); |
---|
2 | |
---|
3 | |
---|
4 | option(noredefine);option(redSB);LIB "matrix.lib";LIB "involut.lib";LIB "nctools.lib";LIB "poly.lib";LIB "finvar.lib"; |
---|
5 | int homalg_variable_i; int homalg_variable_j; int homalg_variable_k; list homalg_variable_l; |
---|
6 | |
---|
7 | |
---|
8 | proc IsMemberOfList (int i, list l) |
---|
9 | { |
---|
10 | int k = size(l); |
---|
11 | |
---|
12 | for (int p=1; p<=k; p++) |
---|
13 | { |
---|
14 | if (l[p]==i) |
---|
15 | { |
---|
16 | return(1); // this is not a mistake |
---|
17 | } |
---|
18 | } |
---|
19 | return(0); |
---|
20 | } |
---|
21 | |
---|
22 | |
---|
23 | proc Difference (list a, list b) |
---|
24 | { |
---|
25 | list c; |
---|
26 | int s=size(a); |
---|
27 | int l = 1; |
---|
28 | |
---|
29 | for (int p=1; p<=s; p++) |
---|
30 | { |
---|
31 | if (IsMemberOfList(a[p],b)==0) |
---|
32 | { |
---|
33 | c[l] = a[p]; l++; |
---|
34 | } |
---|
35 | } |
---|
36 | return(c); |
---|
37 | } |
---|
38 | |
---|
39 | |
---|
40 | proc GetSparseListOfHomalgMatrixAsString (M) |
---|
41 | { |
---|
42 | list l;int k; |
---|
43 | k = 1; |
---|
44 | for(int i=1; i<=ncols(M); i++){ |
---|
45 | for(int j=1; j<=nrows(M); j++){ |
---|
46 | def p=M[j,i]; // remark: matrices are saved transposed in Singular |
---|
47 | if(p!=0){l[k]=list(i,j,p); k++;}; |
---|
48 | }; |
---|
49 | }; |
---|
50 | return(string(l)); |
---|
51 | } |
---|
52 | |
---|
53 | |
---|
54 | proc CreateListListOfIntegers (degrees,m,n) |
---|
55 | { |
---|
56 | list l; |
---|
57 | for (int i=m; i>=1; i--) |
---|
58 | { |
---|
59 | l[i]=intvec(degrees[(i-1)*n+1..i*n]); |
---|
60 | } |
---|
61 | return(l); |
---|
62 | } |
---|
63 | |
---|
64 | |
---|
65 | proc IsZeroMatrix (matrix m) |
---|
66 | { |
---|
67 | matrix z[nrows(m)][ncols(m)]; |
---|
68 | return(m==z); |
---|
69 | } |
---|
70 | |
---|
71 | |
---|
72 | proc IsIdentityMatrix (matrix m) |
---|
73 | { |
---|
74 | return(m==unitmat(nrows(m))); |
---|
75 | } |
---|
76 | |
---|
77 | |
---|
78 | proc IsDiagonalMatrix (matrix m) |
---|
79 | { |
---|
80 | int min=nrows(m); |
---|
81 | if (min>ncols(m)) |
---|
82 | { |
---|
83 | min=ncols(m); |
---|
84 | } |
---|
85 | matrix z[nrows(m)][ncols(m)]; |
---|
86 | matrix c = m; |
---|
87 | for (int i=1; i<=min; i++) |
---|
88 | { |
---|
89 | c[i,i]=0; |
---|
90 | } |
---|
91 | return(c==z); |
---|
92 | } |
---|
93 | |
---|
94 | |
---|
95 | proc ZeroRows (module m) |
---|
96 | { |
---|
97 | list l; |
---|
98 | int s = 1; |
---|
99 | for (int i=1;i<=ncols(m);i++) |
---|
100 | { |
---|
101 | if (m[i]==0) |
---|
102 | { |
---|
103 | l[s]=i; s++; |
---|
104 | } |
---|
105 | } |
---|
106 | if (size(l)==0) |
---|
107 | { |
---|
108 | return("[]")); |
---|
109 | } |
---|
110 | return(string(l)); |
---|
111 | } |
---|
112 | |
---|
113 | |
---|
114 | proc ZeroColumns (matrix n) |
---|
115 | { |
---|
116 | matrix m=module(transpose(n)); |
---|
117 | list l; |
---|
118 | int s = 1; |
---|
119 | for (int i=1;i<=ncols(m);i++) |
---|
120 | { |
---|
121 | if (m[i]==0) |
---|
122 | { |
---|
123 | l[s]=i; s++; |
---|
124 | } |
---|
125 | } |
---|
126 | if (size(l)==0) |
---|
127 | { |
---|
128 | return("[]")); |
---|
129 | } |
---|
130 | return(string(l)); |
---|
131 | } |
---|
132 | |
---|
133 | |
---|
134 | proc GetColumnIndependentUnitPositions (matrix M, list pos_list) |
---|
135 | { |
---|
136 | int m = nrows(M); |
---|
137 | int n = ncols(M); |
---|
138 | |
---|
139 | list rest; |
---|
140 | for (int o=m; o>=1; o--) |
---|
141 | { |
---|
142 | rest[o] = o; |
---|
143 | } |
---|
144 | int r = m; |
---|
145 | list e; |
---|
146 | list rest2; |
---|
147 | list pos; |
---|
148 | int i; int k; int a; int s = 1; |
---|
149 | |
---|
150 | for (int j=1; j<=n; j++) |
---|
151 | { |
---|
152 | for (i=1; i<=r; i++) |
---|
153 | { |
---|
154 | k = rest[r-i+1]; |
---|
155 | if (deg(M[k,j]) == 0) //IsUnit |
---|
156 | { |
---|
157 | rest2 = e; |
---|
158 | pos[s] = list(j,k); s++; |
---|
159 | for (a=1; a<=r; a++) |
---|
160 | { |
---|
161 | if (M[rest[a],j] == 0) |
---|
162 | { |
---|
163 | rest2[size(rest2)+1] = rest[a]; |
---|
164 | } |
---|
165 | } |
---|
166 | rest = rest2; |
---|
167 | r = size(rest); |
---|
168 | break; |
---|
169 | } |
---|
170 | } |
---|
171 | } |
---|
172 | return(string(pos)); |
---|
173 | } |
---|
174 | |
---|
175 | |
---|
176 | proc GetColumnIndependentUnitPositions_Z (matrix M, list pos_list) |
---|
177 | { |
---|
178 | int m = nrows(M); |
---|
179 | int n = ncols(M); |
---|
180 | |
---|
181 | list rest; |
---|
182 | for (int o=m; o>=1; o--) |
---|
183 | { |
---|
184 | rest[o] = o; |
---|
185 | } |
---|
186 | int r = m; |
---|
187 | list e; |
---|
188 | list rest2; |
---|
189 | list pos; |
---|
190 | int i; int k; int a; int s = 1; |
---|
191 | |
---|
192 | for (int j=1; j<=n; j++) |
---|
193 | { |
---|
194 | for (i=1; i<=r; i++) |
---|
195 | { |
---|
196 | k = rest[r-i+1]; |
---|
197 | if (M[k,j] == 1 || M[k,j] == -1) //IsUnit |
---|
198 | { |
---|
199 | rest2 = e; |
---|
200 | pos[s] = list(j,k); s++; |
---|
201 | for (a=1; a<=r; a++) |
---|
202 | { |
---|
203 | if (M[rest[a],j] == 0) |
---|
204 | { |
---|
205 | rest2[size(rest2)+1] = rest[a]; |
---|
206 | } |
---|
207 | } |
---|
208 | rest = rest2; |
---|
209 | r = size(rest); |
---|
210 | break; |
---|
211 | } |
---|
212 | } |
---|
213 | } |
---|
214 | return(string(pos)); |
---|
215 | } |
---|
216 | |
---|
217 | |
---|
218 | proc GetRowIndependentUnitPositions (matrix M, list pos_list) |
---|
219 | { |
---|
220 | int m = nrows(M); |
---|
221 | int n = ncols(M); |
---|
222 | |
---|
223 | list rest; |
---|
224 | for (int o=n; o>=1; o--) |
---|
225 | { |
---|
226 | rest[o] = o; |
---|
227 | } |
---|
228 | int r = n; |
---|
229 | list e; |
---|
230 | list rest2; |
---|
231 | list pos; |
---|
232 | int j; int k; int a; int s = 1; |
---|
233 | |
---|
234 | for (int i=1; i<=m; i++) |
---|
235 | { |
---|
236 | for (j=1; j<=r; j++) |
---|
237 | { |
---|
238 | k = rest[r-j+1]; |
---|
239 | if (deg(M[i,k]) == 0) //IsUnit |
---|
240 | { |
---|
241 | rest2 = e; |
---|
242 | pos[s] = list(i,k); s++; |
---|
243 | for (a=1; a<=r; a++) |
---|
244 | { |
---|
245 | if (M[i,rest[a]] == 0) |
---|
246 | { |
---|
247 | rest2[size(rest2)+1] = rest[a]; |
---|
248 | } |
---|
249 | } |
---|
250 | rest = rest2; |
---|
251 | r = size(rest); |
---|
252 | break; |
---|
253 | } |
---|
254 | } |
---|
255 | } |
---|
256 | return(string(pos)); |
---|
257 | } |
---|
258 | |
---|
259 | |
---|
260 | proc GetRowIndependentUnitPositions_Z (matrix M, list pos_list) |
---|
261 | { |
---|
262 | int m = nrows(M); |
---|
263 | int n = ncols(M); |
---|
264 | |
---|
265 | list rest; |
---|
266 | for (int o=n; o>=1; o--) |
---|
267 | { |
---|
268 | rest[o] = o; |
---|
269 | } |
---|
270 | int r = n; |
---|
271 | list e; |
---|
272 | list rest2; |
---|
273 | list pos; |
---|
274 | int j; int k; int a; int s = 1; |
---|
275 | |
---|
276 | for (int i=1; i<=m; i++) |
---|
277 | { |
---|
278 | for (j=1; j<=r; j++) |
---|
279 | { |
---|
280 | k = rest[r-j+1]; |
---|
281 | if (M[i,k] == 1 || M[i,k] == -1) //IsUnit |
---|
282 | { |
---|
283 | rest2 = e; |
---|
284 | pos[s] = list(i,k); s++; |
---|
285 | for (a=1; a<=r; a++) |
---|
286 | { |
---|
287 | if (M[i,rest[a]] == 0) |
---|
288 | { |
---|
289 | rest2[size(rest2)+1] = rest[a]; |
---|
290 | } |
---|
291 | } |
---|
292 | rest = rest2; |
---|
293 | r = size(rest); |
---|
294 | break; |
---|
295 | } |
---|
296 | } |
---|
297 | } |
---|
298 | return(string(pos)); |
---|
299 | } |
---|
300 | |
---|
301 | |
---|
302 | proc GetUnitPosition (matrix M, list pos_list) |
---|
303 | { |
---|
304 | int m = nrows(M); |
---|
305 | int n = ncols(M); |
---|
306 | int r; |
---|
307 | list rest; |
---|
308 | for (int o=m; o>=1; o--) |
---|
309 | { |
---|
310 | rest[o] = o; |
---|
311 | } |
---|
312 | rest=Difference(rest,pos_list); |
---|
313 | r=size(rest); |
---|
314 | for (int j=1; j<=n; j++) |
---|
315 | { |
---|
316 | for (int i=1; i<=r; i++) |
---|
317 | { |
---|
318 | if (deg(M[rest[i],j]) == 0) //IsUnit |
---|
319 | { |
---|
320 | return(string(j,",",rest[i])); // this is not a mistake |
---|
321 | } |
---|
322 | } |
---|
323 | } |
---|
324 | return("fail"); |
---|
325 | } |
---|
326 | |
---|
327 | |
---|
328 | proc GetUnitPosition_Z (matrix M, list pos_list) |
---|
329 | { |
---|
330 | int m = nrows(M); |
---|
331 | int n = ncols(M); |
---|
332 | int r; |
---|
333 | list rest; |
---|
334 | for (int o=m; o>=1; o--) |
---|
335 | { |
---|
336 | rest[o] = o; |
---|
337 | } |
---|
338 | rest=Difference(rest,pos_list); |
---|
339 | r=size(rest); |
---|
340 | for (int j=1; j<=n; j++) |
---|
341 | { |
---|
342 | for (int i=1; i<=r; i++) |
---|
343 | { |
---|
344 | if (M[rest[i],j] == 1 || M[rest[i],j] == -1) //IsUnit |
---|
345 | { |
---|
346 | return(string(j,",",rest[i])); // this is not a mistake |
---|
347 | } |
---|
348 | } |
---|
349 | } |
---|
350 | return("fail"); |
---|
351 | } |
---|
352 | |
---|
353 | |
---|
354 | proc GetCleanRowsPositions (matrix m, list l) |
---|
355 | { |
---|
356 | list rows; |
---|
357 | int s = 1; |
---|
358 | for (int i=1;i<=size(l);i++) |
---|
359 | { |
---|
360 | for (int j=1;j<=ncols(m);j++) |
---|
361 | { |
---|
362 | if (m[l[i],j]==1) |
---|
363 | { |
---|
364 | rows[s] = j; s++; |
---|
365 | break; |
---|
366 | } |
---|
367 | } |
---|
368 | } |
---|
369 | if (s==0) |
---|
370 | { |
---|
371 | return("[]")); |
---|
372 | } |
---|
373 | return(string(rows)); |
---|
374 | } |
---|
375 | |
---|
376 | |
---|
377 | proc PositionOfFirstNonZeroEntryPerRow (matrix M) |
---|
378 | { |
---|
379 | int b = 1; |
---|
380 | intmat m[1][ncols(M)]; |
---|
381 | for (int i=1; i<=ncols(M); i++) |
---|
382 | { |
---|
383 | for (int j=1; j<=nrows(M); j++) |
---|
384 | { |
---|
385 | if ( M[j,i] <> 0 ) { m[1,i] = j; break; } |
---|
386 | } |
---|
387 | if ( b && i > 1 ) { if ( m[1,i] <> m[1,i-1] ) { b = 0; } } // Singular is strange |
---|
388 | } |
---|
389 | if ( b ) { return(m[1,1]); } else { return(m); } |
---|
390 | } |
---|
391 | |
---|
392 | |
---|
393 | proc PositionOfFirstNonZeroEntryPerColumn (matrix M) |
---|
394 | { |
---|
395 | int b = 1; |
---|
396 | intmat m[1][nrows(M)]; |
---|
397 | for (int j=1; j<=nrows(M); j++) |
---|
398 | { |
---|
399 | for (int i=1; i<=ncols(M); i++) |
---|
400 | { |
---|
401 | if ( M[j,i] <> 0 ) { m[1,j] = i; break; } |
---|
402 | } |
---|
403 | if ( b && j > 1 ) { if ( m[1,j] <> m[1,j-1] ) { b = 0; } } // Singular is strange |
---|
404 | } |
---|
405 | if ( b ) { return(m[1,1]); } else { return(m); } |
---|
406 | } |
---|
407 | |
---|
408 | |
---|
409 | proc IndicatorMatrixOfNonZeroEntries(matrix M) |
---|
410 | { |
---|
411 | intmat m[ncols(M)][nrows(M)]; |
---|
412 | for (int i=1; i<=ncols(M); i++) |
---|
413 | { |
---|
414 | for (int j=1; j<=nrows(M); j++) |
---|
415 | { |
---|
416 | m[i,j] = ( M[j,i] <> 0 ); |
---|
417 | } |
---|
418 | } |
---|
419 | return(m); |
---|
420 | } |
---|
421 | |
---|
422 | |
---|
423 | proc BasisOfRowModule (matrix M) |
---|
424 | { |
---|
425 | return(std(M)); |
---|
426 | } |
---|
427 | |
---|
428 | |
---|
429 | proc BasisOfColumnModule (matrix M) |
---|
430 | { |
---|
431 | return(Involution(BasisOfRowModule(Involution(M)))); |
---|
432 | } |
---|
433 | |
---|
434 | |
---|
435 | proc ReducedBasisOfRowModule (matrix M) |
---|
436 | { |
---|
437 | return(mstd(M)[2]); |
---|
438 | } |
---|
439 | |
---|
440 | |
---|
441 | proc ReducedBasisOfColumnModule (matrix M) |
---|
442 | { |
---|
443 | return(Involution(ReducedBasisOfRowModule(Involution(M)))); |
---|
444 | } |
---|
445 | |
---|
446 | |
---|
447 | proc BasisOfRowsCoeff (matrix M) |
---|
448 | { |
---|
449 | matrix B = BasisOfRowModule(M); |
---|
450 | matrix T = lift(M,B); |
---|
451 | list l = B,T; |
---|
452 | return(l) |
---|
453 | } |
---|
454 | |
---|
455 | |
---|
456 | proc BasisOfColumnsCoeff (matrix M) |
---|
457 | { |
---|
458 | list l = BasisOfRowsCoeff(Involution(M)); |
---|
459 | matrix B = l[1]; |
---|
460 | matrix T = l[2]; |
---|
461 | l = Involution(B),Involution(T); |
---|
462 | return(l); |
---|
463 | } |
---|
464 | |
---|
465 | |
---|
466 | proc DecideZeroRows (matrix A, matrix B) |
---|
467 | { |
---|
468 | return(reduce(A,B)); |
---|
469 | } |
---|
470 | |
---|
471 | |
---|
472 | proc DecideZeroColumns (matrix A, matrix B) |
---|
473 | { |
---|
474 | return(Involution(reduce(Involution(A),Involution(B)))); |
---|
475 | } |
---|
476 | |
---|
477 | |
---|
478 | proc DecideZeroRowsEffectively (matrix A, matrix B) |
---|
479 | { |
---|
480 | matrix M = reduce(A,B); |
---|
481 | matrix T = lift(B,M-A); |
---|
482 | list l = M,T; |
---|
483 | return(l); |
---|
484 | } |
---|
485 | |
---|
486 | |
---|
487 | proc DecideZeroColumnsEffectively (matrix A, matrix B) |
---|
488 | { |
---|
489 | list l = DecideZeroRowsEffectively(Involution(A),Involution(B)); |
---|
490 | matrix B = l[1]; |
---|
491 | matrix T = l[2]; |
---|
492 | l = Involution(B),Involution(T); |
---|
493 | return(l); |
---|
494 | } |
---|
495 | |
---|
496 | |
---|
497 | proc SyzForHomalg (matrix M) |
---|
498 | { |
---|
499 | return(syz(M)); |
---|
500 | } |
---|
501 | |
---|
502 | |
---|
503 | proc SyzygiesGeneratorsOfRows (matrix M) |
---|
504 | { |
---|
505 | return(SyzForHomalg(M)); |
---|
506 | } |
---|
507 | |
---|
508 | |
---|
509 | proc SyzygiesGeneratorsOfColumns (matrix M) |
---|
510 | { |
---|
511 | return(Involution(SyzForHomalg(Involution(M)))); |
---|
512 | } |
---|
513 | |
---|
514 | |
---|
515 | proc RelativeSyzygiesGeneratorsOfRows (matrix M1, matrix M2) |
---|
516 | { |
---|
517 | return(BasisOfRowModule(modulo(M1, M2))); |
---|
518 | } |
---|
519 | |
---|
520 | |
---|
521 | proc RelativeSyzygiesGeneratorsOfColumns (matrix M1, matrix M2) |
---|
522 | { |
---|
523 | return(Involution(RelativeSyzygiesGeneratorsOfRows(Involution(M1),Involution(M2)))); |
---|
524 | } |
---|
525 | |
---|
526 | |
---|
527 | proc ReducedSyzForHomalg (matrix M) |
---|
528 | { |
---|
529 | return(matrix(nres(M,2)[2])); |
---|
530 | } |
---|
531 | |
---|
532 | |
---|
533 | proc ReducedSyzygiesGeneratorsOfRows (matrix M) |
---|
534 | { |
---|
535 | return(ReducedSyzForHomalg(M)); |
---|
536 | } |
---|
537 | |
---|
538 | |
---|
539 | proc ReducedSyzygiesGeneratorsOfColumns (matrix M) |
---|
540 | { |
---|
541 | return(Involution(ReducedSyzForHomalg(Involution(M)))); |
---|
542 | } |
---|
543 | |
---|
544 | |
---|
545 | if ( defined(superCommutative) == 1 ) // the new name of the SCA constructor |
---|
546 | { proc superCommutative_ForHomalg = superCommutative; } |
---|
547 | else |
---|
548 | { |
---|
549 | if ( defined(SuperCommutative) == 1 ) // the old name of the SCA constructor |
---|
550 | { proc superCommutative_ForHomalg = SuperCommutative; } |
---|
551 | } |
---|
552 | |
---|
553 | |
---|
554 | |
---|
555 | proc CoefficientsOfUnreducedNumeratorOfWeightedHilbertPoincareSeries (module m,weights,degrees) |
---|
556 | { |
---|
557 | module M = std(m); |
---|
558 | attrib(M,"isHomog",degrees); |
---|
559 | return(hilb(M,1,weights)); |
---|
560 | } |
---|
561 | |
---|
562 | |
---|
563 | proc PrimaryDecomposition (matrix m) |
---|
564 | { |
---|
565 | return(primdecSY(m)) |
---|
566 | } |
---|
567 | |
---|
568 | ring homalg_variable_1 = 0,dummy_variable,dp; |
---|
569 | setring homalg_variable_1; |
---|
570 | short=0;option(redTail); |
---|
571 | |
---|
572 | proc Involution (matrix m) |
---|
573 | { |
---|
574 | return(transpose(m)); |
---|
575 | } |
---|
576 | |
---|
577 | ring homalg_variable_2 = (0),(x,y,z),dp; |
---|
578 | setring homalg_variable_2; |
---|
579 | short=0;option(redTail); |
---|
580 | |
---|
581 | proc Involution (matrix m) |
---|
582 | { |
---|
583 | return(transpose(m)); |
---|
584 | } |
---|
585 | |
---|
586 | matrix homalg_variable_3[6][5] = x*y, y*z, z, 0, 0, x^3*z,x^2*z^2,0, x*z^2, -z^2, x^4, x^3*z, 0, x^2*z, -x*z, 0, 0, x*y, -y^2, x^2-1,0, 0, x^2*z, -x*y*z, y*z, 0, 0, x^2*y-x^2,-x*y^2+x*y,y^2-y ; |
---|
587 | homalg_variable_3 = transpose(homalg_variable_3); |
---|
588 | matrix homalg_variable_4 = BasisOfRowModule(homalg_variable_3); |
---|
589 | ncols(homalg_variable_4); |
---|
590 | homalg_variable_4==homalg_variable_3; |
---|
591 | matrix homalg_variable_5 = SyzygiesGeneratorsOfRows(homalg_variable_4); |
---|
592 | IsZeroMatrix(homalg_variable_5); |
---|
593 | ncols(homalg_variable_5); |
---|
594 | GetColumnIndependentUnitPositions(homalg_variable_5, list ( 0 )); |
---|
595 | matrix homalg_variable_7 = Involution(homalg_variable_4); |
---|
596 | matrix homalg_variable_6 = BasisOfColumnModule(homalg_variable_7); |
---|
597 | nrows(homalg_variable_6); |
---|
598 | homalg_variable_6==homalg_variable_7; |
---|
599 | matrix homalg_variable_9[5][5] = unitmat(5); |
---|
600 | matrix homalg_variable_8 = DecideZeroColumns(homalg_variable_9,homalg_variable_6); |
---|
601 | IsZeroMatrix(homalg_variable_8); |
---|
602 | ZeroColumns(homalg_variable_8); |
---|
603 | IsIdentityMatrix(homalg_variable_8); |
---|
604 | matrix homalg_variable_10 = SyzygiesGeneratorsOfColumns(homalg_variable_4); |
---|
605 | IsZeroMatrix(homalg_variable_10); |
---|
606 | nrows(homalg_variable_10); |
---|
607 | matrix homalg_variable_11 = ReducedSyzygiesGeneratorsOfRows(homalg_variable_10); |
---|
608 | IsZeroMatrix(homalg_variable_11); |
---|
609 | ncols(homalg_variable_11); |
---|
610 | matrix homalg_variable_12 = DecideZeroRows(homalg_variable_11,homalg_variable_4); |
---|
611 | IsZeroMatrix(homalg_variable_12); |
---|
612 | ZeroRows(homalg_variable_12); |
---|
613 | matrix homalg_variable_13[5][5] = x^2+y-z,x*z-z, 0, z, -z, x-1, x+y-1, -y, -1, 0, x^3+y, x^2*z+y,x^2+y^2+y,-x*y+x*z+y,x*y-z,x, x, x, y^2+x, 1, 0, 0, -x*y, y^2, 1 ; |
---|
614 | homalg_variable_13 = transpose(homalg_variable_13); |
---|
615 | matrix homalg_variable_14 = ReducedSyzygiesGeneratorsOfRows(homalg_variable_4); |
---|
616 | IsZeroMatrix(homalg_variable_14); |
---|
617 | ncols(homalg_variable_14); |
---|
618 | matrix homalg_variable_15 = ReducedSyzygiesGeneratorsOfRows(homalg_variable_14); |
---|
619 | IsZeroMatrix(homalg_variable_15); |
---|
620 | ncols(homalg_variable_15); |
---|
621 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_15); matrix homalg_variable_16 = homalg_variable_l[1]; matrix homalg_variable_17 = homalg_variable_l[2]; |
---|
622 | nrows(homalg_variable_16); |
---|
623 | matrix homalg_variable_18[1][1] = unitmat(1); |
---|
624 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_18,homalg_variable_16); matrix homalg_variable_19 = homalg_variable_l[1]; matrix homalg_variable_20 = homalg_variable_l[2]; |
---|
625 | IsZeroMatrix(homalg_variable_19); |
---|
626 | matrix homalg_variable_21 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_4); |
---|
627 | IsZeroMatrix(homalg_variable_21); |
---|
628 | nrows(homalg_variable_21); |
---|
629 | ZeroColumns(homalg_variable_21); |
---|
630 | matrix homalg_variable_22 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_14); |
---|
631 | IsZeroMatrix(homalg_variable_22); |
---|
632 | nrows(homalg_variable_22); |
---|
633 | matrix homalg_variable_23 = BasisOfColumnModule(homalg_variable_4); |
---|
634 | nrows(homalg_variable_23); |
---|
635 | homalg_variable_23==homalg_variable_4; |
---|
636 | matrix homalg_variable_24 = DecideZeroColumns(homalg_variable_22,homalg_variable_23); |
---|
637 | IsZeroMatrix(homalg_variable_24); |
---|
638 | ZeroColumns(homalg_variable_24); |
---|
639 | matrix homalg_variable_25 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_15); |
---|
640 | IsZeroMatrix(homalg_variable_25); |
---|
641 | nrows(homalg_variable_25); |
---|
642 | matrix homalg_variable_26 = BasisOfColumnModule(homalg_variable_14); |
---|
643 | nrows(homalg_variable_26); |
---|
644 | homalg_variable_26==homalg_variable_14; |
---|
645 | matrix homalg_variable_27 = DecideZeroColumns(homalg_variable_25,homalg_variable_26); |
---|
646 | IsZeroMatrix(homalg_variable_27); |
---|
647 | ZeroColumns(homalg_variable_27); |
---|
648 | matrix homalg_variable_28 = SyzygiesGeneratorsOfColumns(homalg_variable_21); |
---|
649 | IsZeroMatrix(homalg_variable_28); |
---|
650 | matrix homalg_variable_29 = RelativeSyzygiesGeneratorsOfColumns(homalg_variable_24,homalg_variable_23); |
---|
651 | IsZeroMatrix(homalg_variable_29); |
---|
652 | nrows(homalg_variable_29); |
---|
653 | matrix homalg_variable_30 = BasisOfColumnModule(homalg_variable_29); |
---|
654 | nrows(homalg_variable_30); |
---|
655 | homalg_variable_30==homalg_variable_29; |
---|
656 | matrix homalg_variable_31 = SyzygiesGeneratorsOfColumns(homalg_variable_30); |
---|
657 | IsZeroMatrix(homalg_variable_31); |
---|
658 | nrows(homalg_variable_31); |
---|
659 | GetRowIndependentUnitPositions(homalg_variable_31, list ( 0 )); |
---|
660 | matrix homalg_variable_33 = submat(homalg_variable_30,intvec( 1, 3, 4, 5, 6 ),1..4); |
---|
661 | matrix homalg_variable_32 = SyzygiesGeneratorsOfColumns(homalg_variable_33); |
---|
662 | IsZeroMatrix(homalg_variable_32); |
---|
663 | nrows(homalg_variable_32); |
---|
664 | GetRowIndependentUnitPositions(homalg_variable_32, list ( 0 )); |
---|
665 | matrix homalg_variable_34 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_33); |
---|
666 | IsZeroMatrix(homalg_variable_34); |
---|
667 | nrows(homalg_variable_34); |
---|
668 | matrix homalg_variable_36 = submat(homalg_variable_27,intvec( 1, 4 ),1..4); |
---|
669 | matrix homalg_variable_35 = RelativeSyzygiesGeneratorsOfColumns(homalg_variable_36,homalg_variable_26); |
---|
670 | IsZeroMatrix(homalg_variable_35); |
---|
671 | nrows(homalg_variable_35); |
---|
672 | matrix homalg_variable_37 = BasisOfColumnModule(homalg_variable_35); |
---|
673 | nrows(homalg_variable_37); |
---|
674 | homalg_variable_37==homalg_variable_35; |
---|
675 | matrix homalg_variable_38 = SyzygiesGeneratorsOfColumns(homalg_variable_37); |
---|
676 | IsZeroMatrix(homalg_variable_38); |
---|
677 | nrows(homalg_variable_38); |
---|
678 | GetRowIndependentUnitPositions(homalg_variable_38, list ( 0 )); |
---|
679 | matrix homalg_variable_40 = submat(homalg_variable_37,intvec( 1, 3, 4, 5 ),1..2); |
---|
680 | matrix homalg_variable_39 = SyzygiesGeneratorsOfColumns(homalg_variable_40); |
---|
681 | IsZeroMatrix(homalg_variable_39); |
---|
682 | nrows(homalg_variable_39); |
---|
683 | GetRowIndependentUnitPositions(homalg_variable_39, list ( 0 )); |
---|
684 | matrix homalg_variable_41 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_40); |
---|
685 | IsZeroMatrix(homalg_variable_41); |
---|
686 | nrows(homalg_variable_41); |
---|
687 | matrix homalg_variable_42 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_41); |
---|
688 | IsZeroMatrix(homalg_variable_42); |
---|
689 | nrows(homalg_variable_42); |
---|
690 | matrix homalg_variable_43 = SyzygiesGeneratorsOfColumns(homalg_variable_16); |
---|
691 | IsZeroMatrix(homalg_variable_43); |
---|
692 | nrows(homalg_variable_43); |
---|
693 | GetRowIndependentUnitPositions(homalg_variable_43, list ( 0 )); |
---|
694 | matrix homalg_variable_44 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_16); |
---|
695 | IsZeroMatrix(homalg_variable_44); |
---|
696 | nrows(homalg_variable_44); |
---|
697 | matrix homalg_variable_45 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_44); |
---|
698 | IsZeroMatrix(homalg_variable_45); |
---|
699 | nrows(homalg_variable_45); |
---|
700 | ZeroColumns(homalg_variable_4); |
---|
701 | matrix homalg_variable_46 = BasisOfColumnModule(homalg_variable_10); |
---|
702 | nrows(homalg_variable_46); |
---|
703 | homalg_variable_46==homalg_variable_10; |
---|
704 | matrix homalg_variable_47 = SyzygiesGeneratorsOfColumns(homalg_variable_46); |
---|
705 | IsZeroMatrix(homalg_variable_47); |
---|
706 | matrix homalg_variable_49[7][5] = homalg_variable_21,homalg_variable_9; |
---|
707 | matrix homalg_variable_48 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_49); |
---|
708 | IsZeroMatrix(homalg_variable_48); |
---|
709 | nrows(homalg_variable_48); |
---|
710 | ZeroColumns(homalg_variable_48); |
---|
711 | ZeroColumns(homalg_variable_46); |
---|
712 | matrix homalg_variable_50 = submat(homalg_variable_48,1..2,intvec( 3, 4, 5, 6, 7 )); |
---|
713 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_50,homalg_variable_46); matrix homalg_variable_51 = homalg_variable_l[1]; matrix homalg_variable_52 = homalg_variable_l[2]; |
---|
714 | IsZeroMatrix(homalg_variable_51); |
---|
715 | matrix homalg_variable_53 = homalg_variable_52*(-1); |
---|
716 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_53); matrix homalg_variable_54 = homalg_variable_l[1]; matrix homalg_variable_55 = homalg_variable_l[2]; |
---|
717 | nrows(homalg_variable_54); |
---|
718 | IsIdentityMatrix(homalg_variable_54); |
---|
719 | ncols(homalg_variable_55); |
---|
720 | matrix homalg_variable_57 = homalg_variable_55*homalg_variable_48; |
---|
721 | matrix homalg_variable_56 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_57); |
---|
722 | IsZeroMatrix(homalg_variable_56); |
---|
723 | ZeroColumns(homalg_variable_22); |
---|
724 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_22); matrix homalg_variable_58 = homalg_variable_l[1]; matrix homalg_variable_59 = homalg_variable_l[2]; |
---|
725 | nrows(homalg_variable_58); |
---|
726 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_4,homalg_variable_58); matrix homalg_variable_60 = homalg_variable_l[1]; matrix homalg_variable_61 = homalg_variable_l[2]; |
---|
727 | IsZeroMatrix(homalg_variable_60); |
---|
728 | ncols(homalg_variable_59); |
---|
729 | matrix homalg_variable_62[9][6] = homalg_variable_24,homalg_variable_23; |
---|
730 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_62); matrix homalg_variable_63 = homalg_variable_l[1]; matrix homalg_variable_64 = homalg_variable_l[2]; |
---|
731 | nrows(homalg_variable_63); |
---|
732 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_24,homalg_variable_63); matrix homalg_variable_65 = homalg_variable_l[1]; matrix homalg_variable_66 = homalg_variable_l[2]; |
---|
733 | IsZeroMatrix(homalg_variable_65); |
---|
734 | ncols(homalg_variable_64); |
---|
735 | matrix homalg_variable_68 = homalg_variable_66*(-1); |
---|
736 | matrix homalg_variable_69 = submat(homalg_variable_64,1..4,intvec( 1, 2, 3, 4 )); |
---|
737 | matrix homalg_variable_70 = homalg_variable_68*homalg_variable_69; |
---|
738 | matrix homalg_variable_67 = DecideZeroColumns(homalg_variable_70,homalg_variable_30); |
---|
739 | IsZeroMatrix(homalg_variable_67); |
---|
740 | matrix homalg_variable_71[11][4] = homalg_variable_67,homalg_variable_30; |
---|
741 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_71); matrix homalg_variable_72 = homalg_variable_l[1]; matrix homalg_variable_73 = homalg_variable_l[2]; |
---|
742 | nrows(homalg_variable_72); |
---|
743 | matrix homalg_variable_75[4][4] = unitmat(4); |
---|
744 | matrix homalg_variable_74 = DecideZeroColumns(homalg_variable_75,homalg_variable_30); |
---|
745 | IsZeroMatrix(homalg_variable_74); |
---|
746 | IsIdentityMatrix(homalg_variable_72); |
---|
747 | ncols(homalg_variable_73); |
---|
748 | matrix homalg_variable_76 = SyzygiesGeneratorsOfColumns(homalg_variable_22); |
---|
749 | IsZeroMatrix(homalg_variable_76); |
---|
750 | nrows(homalg_variable_76); |
---|
751 | matrix homalg_variable_78 = homalg_variable_61*(-1); |
---|
752 | matrix homalg_variable_79 = homalg_variable_78*homalg_variable_59; |
---|
753 | matrix homalg_variable_80 = submat(homalg_variable_73,1..4,intvec( 1, 2, 3, 4 )); |
---|
754 | matrix homalg_variable_81 = homalg_variable_74*homalg_variable_80; |
---|
755 | matrix homalg_variable_82[9][4] = homalg_variable_79,homalg_variable_81; |
---|
756 | matrix homalg_variable_77 = RelativeSyzygiesGeneratorsOfColumns(homalg_variable_82,homalg_variable_76); |
---|
757 | IsZeroMatrix(homalg_variable_77); |
---|
758 | nrows(homalg_variable_77); |
---|
759 | matrix homalg_variable_83 = SyzygiesGeneratorsOfColumns(homalg_variable_77); |
---|
760 | IsZeroMatrix(homalg_variable_83); |
---|
761 | nrows(homalg_variable_83); |
---|
762 | GetRowIndependentUnitPositions(homalg_variable_83, list ( 0 )); |
---|
763 | matrix homalg_variable_85 = submat(homalg_variable_77,intvec( 1, 3, 5, 6, 7, 8 ),1..9); |
---|
764 | matrix homalg_variable_84 = SyzygiesGeneratorsOfColumns(homalg_variable_85); |
---|
765 | IsZeroMatrix(homalg_variable_84); |
---|
766 | ZeroColumns(homalg_variable_85); |
---|
767 | ZeroColumns(homalg_variable_33); |
---|
768 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_33); matrix homalg_variable_86 = homalg_variable_l[1]; matrix homalg_variable_87 = homalg_variable_l[2]; |
---|
769 | nrows(homalg_variable_86); |
---|
770 | matrix homalg_variable_88 = submat(homalg_variable_85,1..6,intvec( 6, 7, 8, 9 )); |
---|
771 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_88,homalg_variable_86); matrix homalg_variable_89 = homalg_variable_l[1]; matrix homalg_variable_90 = homalg_variable_l[2]; |
---|
772 | IsZeroMatrix(homalg_variable_89); |
---|
773 | ncols(homalg_variable_87); |
---|
774 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_85); matrix homalg_variable_91 = homalg_variable_l[1]; matrix homalg_variable_92 = homalg_variable_l[2]; |
---|
775 | nrows(homalg_variable_91); |
---|
776 | IsIdentityMatrix(homalg_variable_91); |
---|
777 | matrix homalg_variable_93[2][4] = 0; |
---|
778 | matrix homalg_variable_94[2][9] = concat(homalg_variable_46,homalg_variable_93); |
---|
779 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_94,homalg_variable_91); matrix homalg_variable_95 = homalg_variable_l[1]; matrix homalg_variable_96 = homalg_variable_l[2]; |
---|
780 | IsZeroMatrix(homalg_variable_95); |
---|
781 | ncols(homalg_variable_92); |
---|
782 | matrix homalg_variable_97 = BasisOfColumnModule(homalg_variable_32); |
---|
783 | nrows(homalg_variable_97); |
---|
784 | homalg_variable_97==homalg_variable_32; |
---|
785 | matrix homalg_variable_99 = homalg_variable_90*(-1); |
---|
786 | matrix homalg_variable_100 = homalg_variable_99*homalg_variable_87; |
---|
787 | matrix homalg_variable_98 = DecideZeroColumns(homalg_variable_100,homalg_variable_97); |
---|
788 | IsZeroMatrix(homalg_variable_98); |
---|
789 | matrix homalg_variable_101[7][5] = homalg_variable_98,homalg_variable_97; |
---|
790 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_101); matrix homalg_variable_102 = homalg_variable_l[1]; matrix homalg_variable_103 = homalg_variable_l[2]; |
---|
791 | nrows(homalg_variable_102); |
---|
792 | matrix homalg_variable_104 = DecideZeroColumns(homalg_variable_9,homalg_variable_97); |
---|
793 | IsZeroMatrix(homalg_variable_104); |
---|
794 | IsIdentityMatrix(homalg_variable_102); |
---|
795 | ncols(homalg_variable_103); |
---|
796 | matrix homalg_variable_106 = homalg_variable_96*(-1); |
---|
797 | matrix homalg_variable_107 = homalg_variable_106*homalg_variable_92; |
---|
798 | matrix homalg_variable_108 = homalg_variable_107*homalg_variable_85; |
---|
799 | matrix homalg_variable_109 = submat(homalg_variable_103,1..5,intvec( 1, 2, 3, 4, 5, 6 )); |
---|
800 | matrix homalg_variable_110 = homalg_variable_104*homalg_variable_109; |
---|
801 | matrix homalg_variable_111 = homalg_variable_110*homalg_variable_85; |
---|
802 | matrix homalg_variable_112[7][9] = homalg_variable_108,homalg_variable_111; |
---|
803 | matrix homalg_variable_105 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_112); |
---|
804 | IsZeroMatrix(homalg_variable_105); |
---|
805 | nrows(homalg_variable_105); |
---|
806 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_34); matrix homalg_variable_113 = homalg_variable_l[1]; matrix homalg_variable_114 = homalg_variable_l[2]; |
---|
807 | nrows(homalg_variable_113); |
---|
808 | matrix homalg_variable_115 = submat(homalg_variable_105,1..1,intvec( 3, 4, 5, 6, 7 )); |
---|
809 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_115,homalg_variable_113); matrix homalg_variable_116 = homalg_variable_l[1]; matrix homalg_variable_117 = homalg_variable_l[2]; |
---|
810 | IsZeroMatrix(homalg_variable_116); |
---|
811 | ncols(homalg_variable_114); |
---|
812 | matrix homalg_variable_118 = homalg_variable_117*(-1); |
---|
813 | matrix homalg_variable_119 = homalg_variable_118*homalg_variable_114; |
---|
814 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_119); matrix homalg_variable_120 = homalg_variable_l[1]; matrix homalg_variable_121 = homalg_variable_l[2]; |
---|
815 | nrows(homalg_variable_120); |
---|
816 | IsIdentityMatrix(homalg_variable_120); |
---|
817 | ncols(homalg_variable_121); |
---|
818 | matrix homalg_variable_123 = homalg_variable_121*homalg_variable_105; |
---|
819 | matrix homalg_variable_122 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_123); |
---|
820 | IsZeroMatrix(homalg_variable_122); |
---|
821 | ZeroColumns(homalg_variable_14); |
---|
822 | matrix homalg_variable_124 = submat(homalg_variable_14,intvec( 1, 3, 4, 5, 6 ),1..4); |
---|
823 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_124); matrix homalg_variable_125 = homalg_variable_l[1]; matrix homalg_variable_126 = homalg_variable_l[2]; |
---|
824 | nrows(homalg_variable_125); |
---|
825 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_14,homalg_variable_125); matrix homalg_variable_127 = homalg_variable_l[1]; matrix homalg_variable_128 = homalg_variable_l[2]; |
---|
826 | IsZeroMatrix(homalg_variable_127); |
---|
827 | ncols(homalg_variable_126); |
---|
828 | matrix homalg_variable_129 = SyzygiesGeneratorsOfColumns(homalg_variable_124); |
---|
829 | IsZeroMatrix(homalg_variable_129); |
---|
830 | nrows(homalg_variable_129); |
---|
831 | matrix homalg_variable_130 = BasisOfColumnModule(homalg_variable_129); |
---|
832 | nrows(homalg_variable_130); |
---|
833 | homalg_variable_130==homalg_variable_129; |
---|
834 | matrix homalg_variable_131 = SyzygiesGeneratorsOfColumns(homalg_variable_130); |
---|
835 | IsZeroMatrix(homalg_variable_131); |
---|
836 | nrows(homalg_variable_131); |
---|
837 | GetRowIndependentUnitPositions(homalg_variable_131, list ( 0 )); |
---|
838 | matrix homalg_variable_132 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_130); |
---|
839 | IsZeroMatrix(homalg_variable_132); |
---|
840 | nrows(homalg_variable_132); |
---|
841 | matrix homalg_variable_134 = homalg_variable_128*(-1); |
---|
842 | matrix homalg_variable_135 = homalg_variable_134*homalg_variable_126; |
---|
843 | matrix homalg_variable_133 = DecideZeroColumns(homalg_variable_135,homalg_variable_130); |
---|
844 | IsZeroMatrix(homalg_variable_133); |
---|
845 | matrix homalg_variable_136[9][5] = homalg_variable_133,homalg_variable_130; |
---|
846 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_136); matrix homalg_variable_137 = homalg_variable_l[1]; matrix homalg_variable_138 = homalg_variable_l[2]; |
---|
847 | nrows(homalg_variable_137); |
---|
848 | matrix homalg_variable_139 = DecideZeroColumns(homalg_variable_9,homalg_variable_130); |
---|
849 | IsZeroMatrix(homalg_variable_139); |
---|
850 | IsIdentityMatrix(homalg_variable_137); |
---|
851 | ncols(homalg_variable_138); |
---|
852 | matrix homalg_variable_141 = homalg_variable_79*homalg_variable_22; |
---|
853 | matrix homalg_variable_142 = homalg_variable_81*homalg_variable_22; |
---|
854 | matrix homalg_variable_143[9][6] = homalg_variable_141,homalg_variable_142; |
---|
855 | matrix homalg_variable_144 = submat(homalg_variable_138,1..5,intvec( 1, 2, 3, 4, 5, 6 )); |
---|
856 | matrix homalg_variable_145 = homalg_variable_139*homalg_variable_144; |
---|
857 | matrix homalg_variable_146[14][6] = homalg_variable_143,homalg_variable_145; |
---|
858 | matrix homalg_variable_140 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_146); |
---|
859 | IsZeroMatrix(homalg_variable_140); |
---|
860 | nrows(homalg_variable_140); |
---|
861 | ZeroColumns(homalg_variable_140); |
---|
862 | ZeroColumns(homalg_variable_130); |
---|
863 | IsZeroMatrix(homalg_variable_108); |
---|
864 | ZeroColumns(homalg_variable_112); |
---|
865 | matrix homalg_variable_147 = submat(homalg_variable_140,1..8,intvec( 10, 11, 12, 13, 14 )); |
---|
866 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_147,homalg_variable_130); matrix homalg_variable_148 = homalg_variable_l[1]; matrix homalg_variable_149 = homalg_variable_l[2]; |
---|
867 | IsZeroMatrix(homalg_variable_148); |
---|
868 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_140); matrix homalg_variable_150 = homalg_variable_l[1]; matrix homalg_variable_151 = homalg_variable_l[2]; |
---|
869 | nrows(homalg_variable_150); |
---|
870 | matrix homalg_variable_152[2][5] = 0; |
---|
871 | matrix homalg_variable_153[2][14] = concat(homalg_variable_108,homalg_variable_152); |
---|
872 | matrix homalg_variable_154[5][5] = 0; |
---|
873 | matrix homalg_variable_155[5][14] = concat(homalg_variable_111,homalg_variable_154); |
---|
874 | matrix homalg_variable_156[7][14] = homalg_variable_153,homalg_variable_155; |
---|
875 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_156,homalg_variable_150); matrix homalg_variable_157 = homalg_variable_l[1]; matrix homalg_variable_158 = homalg_variable_l[2]; |
---|
876 | IsZeroMatrix(homalg_variable_157); |
---|
877 | ncols(homalg_variable_151); |
---|
878 | matrix homalg_variable_159 = BasisOfColumnModule(homalg_variable_131); |
---|
879 | nrows(homalg_variable_159); |
---|
880 | homalg_variable_159==homalg_variable_131; |
---|
881 | matrix homalg_variable_161 = homalg_variable_149*(-1); |
---|
882 | matrix homalg_variable_160 = DecideZeroColumns(homalg_variable_161,homalg_variable_159); |
---|
883 | IsZeroMatrix(homalg_variable_160); |
---|
884 | matrix homalg_variable_162[9][3] = homalg_variable_160,homalg_variable_159; |
---|
885 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_162); matrix homalg_variable_163 = homalg_variable_l[1]; matrix homalg_variable_164 = homalg_variable_l[2]; |
---|
886 | nrows(homalg_variable_163); |
---|
887 | matrix homalg_variable_166[3][3] = unitmat(3); |
---|
888 | matrix homalg_variable_165 = DecideZeroColumns(homalg_variable_166,homalg_variable_159); |
---|
889 | IsZeroMatrix(homalg_variable_165); |
---|
890 | IsIdentityMatrix(homalg_variable_163); |
---|
891 | ncols(homalg_variable_164); |
---|
892 | matrix homalg_variable_168 = homalg_variable_158*(-1); |
---|
893 | matrix homalg_variable_169 = homalg_variable_168*homalg_variable_151; |
---|
894 | matrix homalg_variable_170 = homalg_variable_169*homalg_variable_140; |
---|
895 | matrix homalg_variable_171 = submat(homalg_variable_164,1..3,intvec( 1, 2, 3, 4, 5, 6, 7, 8 )); |
---|
896 | matrix homalg_variable_172 = homalg_variable_165*homalg_variable_171; |
---|
897 | matrix homalg_variable_173 = homalg_variable_172*homalg_variable_140; |
---|
898 | matrix homalg_variable_174[10][14] = homalg_variable_170,homalg_variable_173; |
---|
899 | matrix homalg_variable_167 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_174); |
---|
900 | IsZeroMatrix(homalg_variable_167); |
---|
901 | nrows(homalg_variable_167); |
---|
902 | ZeroColumns(homalg_variable_167); |
---|
903 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_132); matrix homalg_variable_175 = homalg_variable_l[1]; matrix homalg_variable_176 = homalg_variable_l[2]; |
---|
904 | nrows(homalg_variable_175); |
---|
905 | matrix homalg_variable_177 = submat(homalg_variable_167,1..2,intvec( 8, 9, 10 )); |
---|
906 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_177,homalg_variable_175); matrix homalg_variable_178 = homalg_variable_l[1]; matrix homalg_variable_179 = homalg_variable_l[2]; |
---|
907 | IsZeroMatrix(homalg_variable_178); |
---|
908 | ncols(homalg_variable_176); |
---|
909 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_167); matrix homalg_variable_180 = homalg_variable_l[1]; matrix homalg_variable_181 = homalg_variable_l[2]; |
---|
910 | nrows(homalg_variable_180); |
---|
911 | matrix homalg_variable_182[1][3] = 0; |
---|
912 | matrix homalg_variable_183[1][10] = concat(homalg_variable_123,homalg_variable_182); |
---|
913 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_183,homalg_variable_180); matrix homalg_variable_184 = homalg_variable_l[1]; matrix homalg_variable_185 = homalg_variable_l[2]; |
---|
914 | IsZeroMatrix(homalg_variable_184); |
---|
915 | ncols(homalg_variable_181); |
---|
916 | matrix homalg_variable_186 = homalg_variable_179*(-1); |
---|
917 | matrix homalg_variable_187 = homalg_variable_186*homalg_variable_176; |
---|
918 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_187); matrix homalg_variable_188 = homalg_variable_l[1]; matrix homalg_variable_189 = homalg_variable_l[2]; |
---|
919 | nrows(homalg_variable_188); |
---|
920 | IsIdentityMatrix(homalg_variable_188); |
---|
921 | ncols(homalg_variable_189); |
---|
922 | matrix homalg_variable_191 = homalg_variable_185*(-1); |
---|
923 | matrix homalg_variable_192 = homalg_variable_191*homalg_variable_181; |
---|
924 | matrix homalg_variable_193 = homalg_variable_192*homalg_variable_167; |
---|
925 | matrix homalg_variable_194 = homalg_variable_189*homalg_variable_167; |
---|
926 | matrix homalg_variable_195[2][10] = homalg_variable_193,homalg_variable_194; |
---|
927 | matrix homalg_variable_190 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_195); |
---|
928 | IsZeroMatrix(homalg_variable_190); |
---|
929 | ZeroColumns(homalg_variable_25); |
---|
930 | IsIdentityMatrix(homalg_variable_25); |
---|
931 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_25); matrix homalg_variable_196 = homalg_variable_l[1]; matrix homalg_variable_197 = homalg_variable_l[2]; |
---|
932 | nrows(homalg_variable_196); |
---|
933 | IsIdentityMatrix(homalg_variable_196); |
---|
934 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_124,homalg_variable_196); matrix homalg_variable_198 = homalg_variable_l[1]; matrix homalg_variable_199 = homalg_variable_l[2]; |
---|
935 | IsZeroMatrix(homalg_variable_198); |
---|
936 | ncols(homalg_variable_197); |
---|
937 | matrix homalg_variable_200 = DecideZeroColumns(homalg_variable_36,homalg_variable_26); |
---|
938 | IsZeroMatrix(homalg_variable_200); |
---|
939 | matrix homalg_variable_201[8][4] = homalg_variable_200,homalg_variable_26; |
---|
940 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_201); matrix homalg_variable_202 = homalg_variable_l[1]; matrix homalg_variable_203 = homalg_variable_l[2]; |
---|
941 | nrows(homalg_variable_202); |
---|
942 | IsIdentityMatrix(homalg_variable_202); |
---|
943 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_27,homalg_variable_202); matrix homalg_variable_204 = homalg_variable_l[1]; matrix homalg_variable_205 = homalg_variable_l[2]; |
---|
944 | IsZeroMatrix(homalg_variable_204); |
---|
945 | ncols(homalg_variable_203); |
---|
946 | matrix homalg_variable_207 = homalg_variable_205*(-1); |
---|
947 | matrix homalg_variable_208 = submat(homalg_variable_203,1..4,intvec( 1, 2 )); |
---|
948 | matrix homalg_variable_209 = homalg_variable_207*homalg_variable_208; |
---|
949 | matrix homalg_variable_206 = DecideZeroColumns(homalg_variable_209,homalg_variable_37); |
---|
950 | IsZeroMatrix(homalg_variable_206); |
---|
951 | matrix homalg_variable_210[9][2] = homalg_variable_206,homalg_variable_37; |
---|
952 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_210); matrix homalg_variable_211 = homalg_variable_l[1]; matrix homalg_variable_212 = homalg_variable_l[2]; |
---|
953 | nrows(homalg_variable_211); |
---|
954 | matrix homalg_variable_214[2][2] = unitmat(2); |
---|
955 | matrix homalg_variable_213 = DecideZeroColumns(homalg_variable_214,homalg_variable_37); |
---|
956 | IsZeroMatrix(homalg_variable_213); |
---|
957 | IsIdentityMatrix(homalg_variable_211); |
---|
958 | ncols(homalg_variable_212); |
---|
959 | matrix homalg_variable_215 = SyzygiesGeneratorsOfColumns(homalg_variable_25); |
---|
960 | IsZeroMatrix(homalg_variable_215); |
---|
961 | nrows(homalg_variable_215); |
---|
962 | matrix homalg_variable_217 = homalg_variable_199*(-1); |
---|
963 | matrix homalg_variable_218 = homalg_variable_217*homalg_variable_197; |
---|
964 | matrix homalg_variable_219 = submat(homalg_variable_212,1..2,intvec( 1, 2, 3, 4 )); |
---|
965 | matrix homalg_variable_220 = homalg_variable_213*homalg_variable_219; |
---|
966 | matrix homalg_variable_221[7][4] = homalg_variable_218,homalg_variable_220; |
---|
967 | matrix homalg_variable_216 = RelativeSyzygiesGeneratorsOfColumns(homalg_variable_221,homalg_variable_215); |
---|
968 | IsZeroMatrix(homalg_variable_216); |
---|
969 | nrows(homalg_variable_216); |
---|
970 | matrix homalg_variable_222 = SyzygiesGeneratorsOfColumns(homalg_variable_216); |
---|
971 | IsZeroMatrix(homalg_variable_222); |
---|
972 | nrows(homalg_variable_222); |
---|
973 | GetRowIndependentUnitPositions(homalg_variable_222, list ( 0 )); |
---|
974 | matrix homalg_variable_224 = submat(homalg_variable_216,intvec( 1, 3, 4, 5 ),1..7); |
---|
975 | matrix homalg_variable_223 = SyzygiesGeneratorsOfColumns(homalg_variable_224); |
---|
976 | IsZeroMatrix(homalg_variable_223); |
---|
977 | ZeroColumns(homalg_variable_224); |
---|
978 | ZeroColumns(homalg_variable_40); |
---|
979 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_40); matrix homalg_variable_225 = homalg_variable_l[1]; matrix homalg_variable_226 = homalg_variable_l[2]; |
---|
980 | nrows(homalg_variable_225); |
---|
981 | matrix homalg_variable_227 = submat(homalg_variable_224,1..4,intvec( 6, 7 )); |
---|
982 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_227,homalg_variable_225); matrix homalg_variable_228 = homalg_variable_l[1]; matrix homalg_variable_229 = homalg_variable_l[2]; |
---|
983 | IsZeroMatrix(homalg_variable_228); |
---|
984 | ncols(homalg_variable_226); |
---|
985 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_224); matrix homalg_variable_230 = homalg_variable_l[1]; matrix homalg_variable_231 = homalg_variable_l[2]; |
---|
986 | nrows(homalg_variable_230); |
---|
987 | matrix homalg_variable_232[3][2] = 0; |
---|
988 | matrix homalg_variable_233[3][7] = concat(homalg_variable_130,homalg_variable_232); |
---|
989 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_233,homalg_variable_230); matrix homalg_variable_234 = homalg_variable_l[1]; matrix homalg_variable_235 = homalg_variable_l[2]; |
---|
990 | IsZeroMatrix(homalg_variable_234); |
---|
991 | ncols(homalg_variable_231); |
---|
992 | matrix homalg_variable_236 = BasisOfColumnModule(homalg_variable_39); |
---|
993 | nrows(homalg_variable_236); |
---|
994 | homalg_variable_236==homalg_variable_39; |
---|
995 | matrix homalg_variable_238 = homalg_variable_229*(-1); |
---|
996 | matrix homalg_variable_239 = homalg_variable_238*homalg_variable_226; |
---|
997 | matrix homalg_variable_237 = DecideZeroColumns(homalg_variable_239,homalg_variable_236); |
---|
998 | IsZeroMatrix(homalg_variable_237); |
---|
999 | matrix homalg_variable_240[7][4] = homalg_variable_237,homalg_variable_236; |
---|
1000 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_240); matrix homalg_variable_241 = homalg_variable_l[1]; matrix homalg_variable_242 = homalg_variable_l[2]; |
---|
1001 | nrows(homalg_variable_241); |
---|
1002 | matrix homalg_variable_243 = DecideZeroColumns(homalg_variable_75,homalg_variable_236); |
---|
1003 | IsZeroMatrix(homalg_variable_243); |
---|
1004 | IsIdentityMatrix(homalg_variable_241); |
---|
1005 | ncols(homalg_variable_242); |
---|
1006 | matrix homalg_variable_245 = homalg_variable_235*(-1); |
---|
1007 | matrix homalg_variable_246 = homalg_variable_245*homalg_variable_231; |
---|
1008 | matrix homalg_variable_247 = homalg_variable_246*homalg_variable_224; |
---|
1009 | matrix homalg_variable_248 = submat(homalg_variable_242,1..4,intvec( 1, 2, 3, 4 )); |
---|
1010 | matrix homalg_variable_249 = homalg_variable_243*homalg_variable_248; |
---|
1011 | matrix homalg_variable_250 = homalg_variable_249*homalg_variable_224; |
---|
1012 | matrix homalg_variable_251[7][7] = homalg_variable_247,homalg_variable_250; |
---|
1013 | matrix homalg_variable_244 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_251); |
---|
1014 | IsZeroMatrix(homalg_variable_244); |
---|
1015 | nrows(homalg_variable_244); |
---|
1016 | ZeroColumns(homalg_variable_244); |
---|
1017 | ZeroColumns(homalg_variable_41); |
---|
1018 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_41); matrix homalg_variable_252 = homalg_variable_l[1]; matrix homalg_variable_253 = homalg_variable_l[2]; |
---|
1019 | nrows(homalg_variable_252); |
---|
1020 | matrix homalg_variable_254 = submat(homalg_variable_244,1..3,intvec( 4, 5, 6, 7 )); |
---|
1021 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_254,homalg_variable_252); matrix homalg_variable_255 = homalg_variable_l[1]; matrix homalg_variable_256 = homalg_variable_l[2]; |
---|
1022 | IsZeroMatrix(homalg_variable_255); |
---|
1023 | ncols(homalg_variable_253); |
---|
1024 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_244); matrix homalg_variable_257 = homalg_variable_l[1]; matrix homalg_variable_258 = homalg_variable_l[2]; |
---|
1025 | nrows(homalg_variable_257); |
---|
1026 | matrix homalg_variable_259[1][4] = 0; |
---|
1027 | matrix homalg_variable_260[1][7] = concat(homalg_variable_132,homalg_variable_259); |
---|
1028 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_260,homalg_variable_257); matrix homalg_variable_261 = homalg_variable_l[1]; matrix homalg_variable_262 = homalg_variable_l[2]; |
---|
1029 | IsZeroMatrix(homalg_variable_261); |
---|
1030 | ncols(homalg_variable_258); |
---|
1031 | matrix homalg_variable_263 = SyzygiesGeneratorsOfColumns(homalg_variable_41); |
---|
1032 | IsZeroMatrix(homalg_variable_263); |
---|
1033 | nrows(homalg_variable_263); |
---|
1034 | matrix homalg_variable_264 = BasisOfColumnModule(homalg_variable_263); |
---|
1035 | nrows(homalg_variable_264); |
---|
1036 | homalg_variable_264==homalg_variable_263; |
---|
1037 | matrix homalg_variable_266 = homalg_variable_256*(-1); |
---|
1038 | matrix homalg_variable_267 = homalg_variable_266*homalg_variable_253; |
---|
1039 | matrix homalg_variable_265 = DecideZeroColumns(homalg_variable_267,homalg_variable_264); |
---|
1040 | IsZeroMatrix(homalg_variable_265); |
---|
1041 | matrix homalg_variable_268[4][3] = homalg_variable_265,homalg_variable_264; |
---|
1042 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_268); matrix homalg_variable_269 = homalg_variable_l[1]; matrix homalg_variable_270 = homalg_variable_l[2]; |
---|
1043 | nrows(homalg_variable_269); |
---|
1044 | matrix homalg_variable_271 = DecideZeroColumns(homalg_variable_166,homalg_variable_264); |
---|
1045 | IsZeroMatrix(homalg_variable_271); |
---|
1046 | IsIdentityMatrix(homalg_variable_269); |
---|
1047 | ncols(homalg_variable_270); |
---|
1048 | matrix homalg_variable_273 = homalg_variable_262*(-1); |
---|
1049 | matrix homalg_variable_274 = homalg_variable_273*homalg_variable_258; |
---|
1050 | matrix homalg_variable_275 = homalg_variable_274*homalg_variable_244; |
---|
1051 | matrix homalg_variable_276 = submat(homalg_variable_270,1..3,intvec( 1, 2, 3 )); |
---|
1052 | matrix homalg_variable_277 = homalg_variable_271*homalg_variable_276; |
---|
1053 | matrix homalg_variable_278 = homalg_variable_277*homalg_variable_244; |
---|
1054 | matrix homalg_variable_279[4][7] = homalg_variable_275,homalg_variable_278; |
---|
1055 | matrix homalg_variable_272 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_279); |
---|
1056 | IsZeroMatrix(homalg_variable_272); |
---|
1057 | nrows(homalg_variable_272); |
---|
1058 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_42); matrix homalg_variable_280 = homalg_variable_l[1]; matrix homalg_variable_281 = homalg_variable_l[2]; |
---|
1059 | nrows(homalg_variable_280); |
---|
1060 | matrix homalg_variable_282 = submat(homalg_variable_272,1..1,intvec( 2, 3, 4 )); |
---|
1061 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_282,homalg_variable_280); matrix homalg_variable_283 = homalg_variable_l[1]; matrix homalg_variable_284 = homalg_variable_l[2]; |
---|
1062 | IsZeroMatrix(homalg_variable_283); |
---|
1063 | ncols(homalg_variable_281); |
---|
1064 | matrix homalg_variable_285 = homalg_variable_284*(-1); |
---|
1065 | matrix homalg_variable_286 = homalg_variable_285*homalg_variable_281; |
---|
1066 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_286); matrix homalg_variable_287 = homalg_variable_l[1]; matrix homalg_variable_288 = homalg_variable_l[2]; |
---|
1067 | nrows(homalg_variable_287); |
---|
1068 | IsIdentityMatrix(homalg_variable_287); |
---|
1069 | ncols(homalg_variable_288); |
---|
1070 | ZeroColumns(homalg_variable_15); |
---|
1071 | matrix homalg_variable_289 = submat(homalg_variable_15,intvec( 2, 3, 4 ),1..1); |
---|
1072 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_289); matrix homalg_variable_290 = homalg_variable_l[1]; matrix homalg_variable_291 = homalg_variable_l[2]; |
---|
1073 | nrows(homalg_variable_290); |
---|
1074 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_15,homalg_variable_290); matrix homalg_variable_292 = homalg_variable_l[1]; matrix homalg_variable_293 = homalg_variable_l[2]; |
---|
1075 | IsZeroMatrix(homalg_variable_292); |
---|
1076 | ncols(homalg_variable_291); |
---|
1077 | matrix homalg_variable_294 = SyzygiesGeneratorsOfColumns(homalg_variable_289); |
---|
1078 | IsZeroMatrix(homalg_variable_294); |
---|
1079 | nrows(homalg_variable_294); |
---|
1080 | matrix homalg_variable_295 = BasisOfColumnModule(homalg_variable_294); |
---|
1081 | nrows(homalg_variable_295); |
---|
1082 | homalg_variable_295==homalg_variable_294; |
---|
1083 | matrix homalg_variable_296 = SyzygiesGeneratorsOfColumns(homalg_variable_295); |
---|
1084 | IsZeroMatrix(homalg_variable_296); |
---|
1085 | nrows(homalg_variable_296); |
---|
1086 | GetRowIndependentUnitPositions(homalg_variable_296, list ( 0 )); |
---|
1087 | matrix homalg_variable_297 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_295); |
---|
1088 | IsZeroMatrix(homalg_variable_297); |
---|
1089 | nrows(homalg_variable_297); |
---|
1090 | matrix homalg_variable_299 = homalg_variable_288*homalg_variable_272; |
---|
1091 | matrix homalg_variable_298 = SyzygiesGeneratorsOfColumns(homalg_variable_299); |
---|
1092 | IsZeroMatrix(homalg_variable_298); |
---|
1093 | matrix homalg_variable_301 = homalg_variable_293*(-1); |
---|
1094 | matrix homalg_variable_302 = homalg_variable_301*homalg_variable_291; |
---|
1095 | matrix homalg_variable_300 = DecideZeroColumns(homalg_variable_302,homalg_variable_295); |
---|
1096 | IsZeroMatrix(homalg_variable_300); |
---|
1097 | matrix homalg_variable_303[7][3] = homalg_variable_300,homalg_variable_295; |
---|
1098 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_303); matrix homalg_variable_304 = homalg_variable_l[1]; matrix homalg_variable_305 = homalg_variable_l[2]; |
---|
1099 | nrows(homalg_variable_304); |
---|
1100 | matrix homalg_variable_306 = DecideZeroColumns(homalg_variable_166,homalg_variable_295); |
---|
1101 | IsZeroMatrix(homalg_variable_306); |
---|
1102 | IsIdentityMatrix(homalg_variable_304); |
---|
1103 | ncols(homalg_variable_305); |
---|
1104 | matrix homalg_variable_308 = homalg_variable_218*homalg_variable_25; |
---|
1105 | matrix homalg_variable_309 = homalg_variable_220*homalg_variable_25; |
---|
1106 | matrix homalg_variable_310[7][4] = homalg_variable_308,homalg_variable_309; |
---|
1107 | matrix homalg_variable_311 = submat(homalg_variable_305,1..3,intvec( 1, 2, 3, 4 )); |
---|
1108 | matrix homalg_variable_312 = homalg_variable_306*homalg_variable_311; |
---|
1109 | matrix homalg_variable_313[10][4] = homalg_variable_310,homalg_variable_312; |
---|
1110 | matrix homalg_variable_307 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_313); |
---|
1111 | IsZeroMatrix(homalg_variable_307); |
---|
1112 | nrows(homalg_variable_307); |
---|
1113 | ZeroColumns(homalg_variable_307); |
---|
1114 | ZeroColumns(homalg_variable_295); |
---|
1115 | IsIdentityMatrix(homalg_variable_295); |
---|
1116 | IsZeroMatrix(homalg_variable_247); |
---|
1117 | ZeroColumns(homalg_variable_251); |
---|
1118 | IsIdentityMatrix(homalg_variable_251); |
---|
1119 | matrix homalg_variable_314 = submat(homalg_variable_307,1..6,intvec( 8, 9, 10 )); |
---|
1120 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_314,homalg_variable_295); matrix homalg_variable_315 = homalg_variable_l[1]; matrix homalg_variable_316 = homalg_variable_l[2]; |
---|
1121 | IsZeroMatrix(homalg_variable_315); |
---|
1122 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_307); matrix homalg_variable_317 = homalg_variable_l[1]; matrix homalg_variable_318 = homalg_variable_l[2]; |
---|
1123 | nrows(homalg_variable_317); |
---|
1124 | matrix homalg_variable_319[3][3] = 0; |
---|
1125 | matrix homalg_variable_320[3][10] = concat(homalg_variable_247,homalg_variable_319); |
---|
1126 | matrix homalg_variable_321[4][3] = 0; |
---|
1127 | matrix homalg_variable_322[4][10] = concat(homalg_variable_250,homalg_variable_321); |
---|
1128 | matrix homalg_variable_323[7][10] = homalg_variable_320,homalg_variable_322; |
---|
1129 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_323,homalg_variable_317); matrix homalg_variable_324 = homalg_variable_l[1]; matrix homalg_variable_325 = homalg_variable_l[2]; |
---|
1130 | IsZeroMatrix(homalg_variable_324); |
---|
1131 | ncols(homalg_variable_318); |
---|
1132 | matrix homalg_variable_326 = BasisOfColumnModule(homalg_variable_296); |
---|
1133 | nrows(homalg_variable_326); |
---|
1134 | homalg_variable_326==homalg_variable_296; |
---|
1135 | matrix homalg_variable_328 = homalg_variable_316*(-1); |
---|
1136 | matrix homalg_variable_327 = DecideZeroColumns(homalg_variable_328,homalg_variable_326); |
---|
1137 | IsZeroMatrix(homalg_variable_327); |
---|
1138 | matrix homalg_variable_329[7][3] = homalg_variable_327,homalg_variable_326; |
---|
1139 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_329); matrix homalg_variable_330 = homalg_variable_l[1]; matrix homalg_variable_331 = homalg_variable_l[2]; |
---|
1140 | nrows(homalg_variable_330); |
---|
1141 | matrix homalg_variable_332 = DecideZeroColumns(homalg_variable_166,homalg_variable_326); |
---|
1142 | IsZeroMatrix(homalg_variable_332); |
---|
1143 | IsIdentityMatrix(homalg_variable_330); |
---|
1144 | ncols(homalg_variable_331); |
---|
1145 | matrix homalg_variable_334 = homalg_variable_325*(-1); |
---|
1146 | matrix homalg_variable_335 = homalg_variable_334*homalg_variable_318; |
---|
1147 | matrix homalg_variable_336 = homalg_variable_335*homalg_variable_307; |
---|
1148 | matrix homalg_variable_337 = submat(homalg_variable_331,1..3,intvec( 1, 2, 3, 4, 5, 6 )); |
---|
1149 | matrix homalg_variable_338 = homalg_variable_332*homalg_variable_337; |
---|
1150 | matrix homalg_variable_339 = homalg_variable_338*homalg_variable_307; |
---|
1151 | matrix homalg_variable_340[10][10] = homalg_variable_336,homalg_variable_339; |
---|
1152 | matrix homalg_variable_333 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_340); |
---|
1153 | IsZeroMatrix(homalg_variable_333); |
---|
1154 | nrows(homalg_variable_333); |
---|
1155 | ZeroColumns(homalg_variable_333); |
---|
1156 | IsZeroMatrix(homalg_variable_275); |
---|
1157 | ZeroColumns(homalg_variable_279); |
---|
1158 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_297); matrix homalg_variable_341 = homalg_variable_l[1]; matrix homalg_variable_342 = homalg_variable_l[2]; |
---|
1159 | nrows(homalg_variable_341); |
---|
1160 | matrix homalg_variable_343 = submat(homalg_variable_333,1..4,intvec( 8, 9, 10 )); |
---|
1161 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_343,homalg_variable_341); matrix homalg_variable_344 = homalg_variable_l[1]; matrix homalg_variable_345 = homalg_variable_l[2]; |
---|
1162 | IsZeroMatrix(homalg_variable_344); |
---|
1163 | ncols(homalg_variable_342); |
---|
1164 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_333); matrix homalg_variable_346 = homalg_variable_l[1]; matrix homalg_variable_347 = homalg_variable_l[2]; |
---|
1165 | nrows(homalg_variable_346); |
---|
1166 | matrix homalg_variable_348[1][3] = 0; |
---|
1167 | matrix homalg_variable_349[1][10] = concat(homalg_variable_275,homalg_variable_348); |
---|
1168 | matrix homalg_variable_350[3][3] = 0; |
---|
1169 | matrix homalg_variable_351[3][10] = concat(homalg_variable_278,homalg_variable_350); |
---|
1170 | matrix homalg_variable_352[4][10] = homalg_variable_349,homalg_variable_351; |
---|
1171 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_352,homalg_variable_346); matrix homalg_variable_353 = homalg_variable_l[1]; matrix homalg_variable_354 = homalg_variable_l[2]; |
---|
1172 | IsZeroMatrix(homalg_variable_353); |
---|
1173 | ncols(homalg_variable_347); |
---|
1174 | matrix homalg_variable_355 = homalg_variable_345*(-1); |
---|
1175 | matrix homalg_variable_356 = homalg_variable_355*homalg_variable_342; |
---|
1176 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_356); matrix homalg_variable_357 = homalg_variable_l[1]; matrix homalg_variable_358 = homalg_variable_l[2]; |
---|
1177 | nrows(homalg_variable_357); |
---|
1178 | IsIdentityMatrix(homalg_variable_357); |
---|
1179 | ncols(homalg_variable_358); |
---|
1180 | matrix homalg_variable_360 = homalg_variable_354*(-1); |
---|
1181 | matrix homalg_variable_361 = homalg_variable_360*homalg_variable_347; |
---|
1182 | matrix homalg_variable_362 = homalg_variable_361*homalg_variable_333; |
---|
1183 | matrix homalg_variable_363 = homalg_variable_358*homalg_variable_333; |
---|
1184 | matrix homalg_variable_364[5][10] = homalg_variable_362,homalg_variable_363; |
---|
1185 | matrix homalg_variable_359 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_364); |
---|
1186 | IsZeroMatrix(homalg_variable_359); |
---|
1187 | nrows(homalg_variable_359); |
---|
1188 | matrix homalg_variable_365 = submat(homalg_variable_359,1..1,intvec( 5 )); |
---|
1189 | IsZeroMatrix(homalg_variable_365); |
---|
1190 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_359); matrix homalg_variable_366 = homalg_variable_l[1]; matrix homalg_variable_367 = homalg_variable_l[2]; |
---|
1191 | nrows(homalg_variable_366); |
---|
1192 | matrix homalg_variable_368[1][1] = 0; |
---|
1193 | matrix homalg_variable_369[1][5] = concat(homalg_variable_299,homalg_variable_368); |
---|
1194 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_369,homalg_variable_366); matrix homalg_variable_370 = homalg_variable_l[1]; matrix homalg_variable_371 = homalg_variable_l[2]; |
---|
1195 | IsZeroMatrix(homalg_variable_370); |
---|
1196 | ncols(homalg_variable_367); |
---|
1197 | matrix homalg_variable_373[1][1] = unitmat(1); |
---|
1198 | matrix homalg_variable_374[4][1] = homalg_variable_289,homalg_variable_373; |
---|
1199 | matrix homalg_variable_372 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_374); |
---|
1200 | IsZeroMatrix(homalg_variable_372); |
---|
1201 | nrows(homalg_variable_372); |
---|
1202 | ZeroColumns(homalg_variable_372); |
---|
1203 | ZeroColumns(homalg_variable_16); |
---|
1204 | matrix homalg_variable_375 = submat(homalg_variable_372,1..3,intvec( 4 )); |
---|
1205 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_375,homalg_variable_16); matrix homalg_variable_376 = homalg_variable_l[1]; matrix homalg_variable_377 = homalg_variable_l[2]; |
---|
1206 | IsZeroMatrix(homalg_variable_376); |
---|
1207 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_372); matrix homalg_variable_378 = homalg_variable_l[1]; matrix homalg_variable_379 = homalg_variable_l[2]; |
---|
1208 | nrows(homalg_variable_378); |
---|
1209 | matrix homalg_variable_380[3][1] = 0; |
---|
1210 | matrix homalg_variable_381[3][4] = concat(homalg_variable_295,homalg_variable_380); |
---|
1211 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_381,homalg_variable_378); matrix homalg_variable_382 = homalg_variable_l[1]; matrix homalg_variable_383 = homalg_variable_l[2]; |
---|
1212 | IsZeroMatrix(homalg_variable_382); |
---|
1213 | ncols(homalg_variable_379); |
---|
1214 | matrix homalg_variable_384 = BasisOfColumnModule(homalg_variable_43); |
---|
1215 | nrows(homalg_variable_384); |
---|
1216 | homalg_variable_384==homalg_variable_43; |
---|
1217 | matrix homalg_variable_386 = homalg_variable_377*(-1); |
---|
1218 | matrix homalg_variable_385 = DecideZeroColumns(homalg_variable_386,homalg_variable_384); |
---|
1219 | IsZeroMatrix(homalg_variable_385); |
---|
1220 | matrix homalg_variable_387[6][3] = homalg_variable_385,homalg_variable_384; |
---|
1221 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_387); matrix homalg_variable_388 = homalg_variable_l[1]; matrix homalg_variable_389 = homalg_variable_l[2]; |
---|
1222 | nrows(homalg_variable_388); |
---|
1223 | matrix homalg_variable_390 = DecideZeroColumns(homalg_variable_166,homalg_variable_384); |
---|
1224 | IsZeroMatrix(homalg_variable_390); |
---|
1225 | IsIdentityMatrix(homalg_variable_388); |
---|
1226 | ncols(homalg_variable_389); |
---|
1227 | matrix homalg_variable_392 = homalg_variable_383*(-1); |
---|
1228 | matrix homalg_variable_393 = homalg_variable_392*homalg_variable_379; |
---|
1229 | matrix homalg_variable_394 = homalg_variable_393*homalg_variable_372; |
---|
1230 | matrix homalg_variable_395 = submat(homalg_variable_389,1..3,intvec( 1, 2, 3 )); |
---|
1231 | matrix homalg_variable_396 = homalg_variable_390*homalg_variable_395; |
---|
1232 | matrix homalg_variable_397 = homalg_variable_396*homalg_variable_372; |
---|
1233 | matrix homalg_variable_398[6][4] = homalg_variable_394,homalg_variable_397; |
---|
1234 | matrix homalg_variable_391 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_398); |
---|
1235 | IsZeroMatrix(homalg_variable_391); |
---|
1236 | nrows(homalg_variable_391); |
---|
1237 | ZeroColumns(homalg_variable_391); |
---|
1238 | ZeroColumns(homalg_variable_44); |
---|
1239 | IsIdentityMatrix(homalg_variable_44); |
---|
1240 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_44); matrix homalg_variable_399 = homalg_variable_l[1]; matrix homalg_variable_400 = homalg_variable_l[2]; |
---|
1241 | nrows(homalg_variable_399); |
---|
1242 | IsIdentityMatrix(homalg_variable_399); |
---|
1243 | matrix homalg_variable_401 = submat(homalg_variable_391,1..3,intvec( 4, 5, 6 )); |
---|
1244 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_401,homalg_variable_399); matrix homalg_variable_402 = homalg_variable_l[1]; matrix homalg_variable_403 = homalg_variable_l[2]; |
---|
1245 | IsZeroMatrix(homalg_variable_402); |
---|
1246 | ncols(homalg_variable_400); |
---|
1247 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_391); matrix homalg_variable_404 = homalg_variable_l[1]; matrix homalg_variable_405 = homalg_variable_l[2]; |
---|
1248 | nrows(homalg_variable_404); |
---|
1249 | matrix homalg_variable_406[1][3] = 0; |
---|
1250 | matrix homalg_variable_407[1][6] = concat(homalg_variable_297,homalg_variable_406); |
---|
1251 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_407,homalg_variable_404); matrix homalg_variable_408 = homalg_variable_l[1]; matrix homalg_variable_409 = homalg_variable_l[2]; |
---|
1252 | IsZeroMatrix(homalg_variable_408); |
---|
1253 | ncols(homalg_variable_405); |
---|
1254 | matrix homalg_variable_410 = SyzygiesGeneratorsOfColumns(homalg_variable_44); |
---|
1255 | IsZeroMatrix(homalg_variable_410); |
---|
1256 | nrows(homalg_variable_410); |
---|
1257 | matrix homalg_variable_411 = BasisOfColumnModule(homalg_variable_410); |
---|
1258 | nrows(homalg_variable_411); |
---|
1259 | homalg_variable_411==homalg_variable_410; |
---|
1260 | matrix homalg_variable_413 = homalg_variable_403*(-1); |
---|
1261 | matrix homalg_variable_414 = homalg_variable_413*homalg_variable_400; |
---|
1262 | matrix homalg_variable_412 = DecideZeroColumns(homalg_variable_414,homalg_variable_411); |
---|
1263 | IsZeroMatrix(homalg_variable_412); |
---|
1264 | matrix homalg_variable_415[4][3] = homalg_variable_412,homalg_variable_411; |
---|
1265 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_415); matrix homalg_variable_416 = homalg_variable_l[1]; matrix homalg_variable_417 = homalg_variable_l[2]; |
---|
1266 | nrows(homalg_variable_416); |
---|
1267 | matrix homalg_variable_418 = DecideZeroColumns(homalg_variable_166,homalg_variable_411); |
---|
1268 | IsZeroMatrix(homalg_variable_418); |
---|
1269 | IsIdentityMatrix(homalg_variable_416); |
---|
1270 | ncols(homalg_variable_417); |
---|
1271 | matrix homalg_variable_420 = homalg_variable_409*(-1); |
---|
1272 | matrix homalg_variable_421 = homalg_variable_420*homalg_variable_405; |
---|
1273 | matrix homalg_variable_422 = homalg_variable_421*homalg_variable_391; |
---|
1274 | matrix homalg_variable_423 = submat(homalg_variable_417,1..3,intvec( 1, 2, 3 )); |
---|
1275 | matrix homalg_variable_424 = homalg_variable_418*homalg_variable_423; |
---|
1276 | matrix homalg_variable_425 = homalg_variable_424*homalg_variable_391; |
---|
1277 | matrix homalg_variable_426[4][6] = homalg_variable_422,homalg_variable_425; |
---|
1278 | matrix homalg_variable_419 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_426); |
---|
1279 | IsZeroMatrix(homalg_variable_419); |
---|
1280 | nrows(homalg_variable_419); |
---|
1281 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_45); matrix homalg_variable_427 = homalg_variable_l[1]; matrix homalg_variable_428 = homalg_variable_l[2]; |
---|
1282 | nrows(homalg_variable_427); |
---|
1283 | matrix homalg_variable_429 = submat(homalg_variable_419,1..1,intvec( 2, 3, 4 )); |
---|
1284 | list homalg_variable_l=DecideZeroColumnsEffectively(homalg_variable_429,homalg_variable_427); matrix homalg_variable_430 = homalg_variable_l[1]; matrix homalg_variable_431 = homalg_variable_l[2]; |
---|
1285 | IsZeroMatrix(homalg_variable_430); |
---|
1286 | ncols(homalg_variable_428); |
---|
1287 | matrix homalg_variable_432 = homalg_variable_431*(-1); |
---|
1288 | matrix homalg_variable_433 = homalg_variable_432*homalg_variable_428; |
---|
1289 | list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_433); matrix homalg_variable_434 = homalg_variable_l[1]; matrix homalg_variable_435 = homalg_variable_l[2]; |
---|
1290 | nrows(homalg_variable_434); |
---|
1291 | IsIdentityMatrix(homalg_variable_434); |
---|
1292 | ncols(homalg_variable_435); |
---|
1293 | matrix homalg_variable_436 = SyzygiesGeneratorsOfColumns(homalg_variable_6); |
---|
1294 | IsZeroMatrix(homalg_variable_436); |
---|
1295 | nrows(homalg_variable_436); |
---|
1296 | GetRowIndependentUnitPositions(homalg_variable_436, list ( 0 )); |
---|
1297 | matrix homalg_variable_438 = Involution(homalg_variable_6); |
---|
1298 | matrix homalg_variable_437 = BasisOfRowModule(homalg_variable_438); |
---|
1299 | ncols(homalg_variable_437); |
---|
1300 | matrix homalg_variable_439[70][84] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); |
---|
1301 | matrix homalg_variable_440[70][84] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); |
---|
1302 | homalg_variable_439==homalg_variable_440; |
---|
1303 | matrix homalg_variable_442[70][70] = unitmat(70); |
---|
1304 | matrix homalg_variable_441 = DecideZeroRows(homalg_variable_442,homalg_variable_439); |
---|
1305 | IsZeroMatrix(homalg_variable_441); |
---|
1306 | ZeroRows(homalg_variable_441); |
---|
1307 | IsIdentityMatrix(homalg_variable_441); |
---|
1308 | matrix homalg_variable_443[50][60] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); |
---|
1309 | matrix homalg_variable_444[50][60] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); |
---|
1310 | homalg_variable_443==homalg_variable_444; |
---|
1311 | matrix homalg_variable_446[50][50] = unitmat(50); |
---|
1312 | matrix homalg_variable_445 = DecideZeroRows(homalg_variable_446,homalg_variable_443); |
---|
1313 | IsZeroMatrix(homalg_variable_445); |
---|
1314 | ZeroRows(homalg_variable_445); |
---|
1315 | IsIdentityMatrix(homalg_variable_445); |
---|
1316 | matrix homalg_variable_447[10][12] = dsum(homalg_variable_437,homalg_variable_437); |
---|
1317 | matrix homalg_variable_448[10][12] = dsum(homalg_variable_438,homalg_variable_438); |
---|
1318 | homalg_variable_447==homalg_variable_448; |
---|
1319 | matrix homalg_variable_450[10][10] = unitmat(10); |
---|
1320 | matrix homalg_variable_449 = DecideZeroRows(homalg_variable_450,homalg_variable_447); |
---|
1321 | IsZeroMatrix(homalg_variable_449); |
---|
1322 | ZeroRows(homalg_variable_449); |
---|
1323 | IsIdentityMatrix(homalg_variable_449); |
---|
1324 | matrix homalg_variable_451[35][42] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); |
---|
1325 | matrix homalg_variable_452[35][42] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); |
---|
1326 | homalg_variable_451==homalg_variable_452; |
---|
1327 | matrix homalg_variable_454[35][35] = unitmat(35); |
---|
1328 | matrix homalg_variable_453 = DecideZeroRows(homalg_variable_454,homalg_variable_451); |
---|
1329 | IsZeroMatrix(homalg_variable_453); |
---|
1330 | ZeroRows(homalg_variable_453); |
---|
1331 | IsIdentityMatrix(homalg_variable_453); |
---|
1332 | matrix homalg_variable_455[10][12] = dsum(homalg_variable_437,homalg_variable_437); |
---|
1333 | matrix homalg_variable_456[10][12] = dsum(homalg_variable_438,homalg_variable_438); |
---|
1334 | homalg_variable_455==homalg_variable_456; |
---|
1335 | matrix homalg_variable_457 = DecideZeroRows(homalg_variable_450,homalg_variable_455); |
---|
1336 | IsZeroMatrix(homalg_variable_457); |
---|
1337 | ZeroRows(homalg_variable_457); |
---|
1338 | IsIdentityMatrix(homalg_variable_457); |
---|
1339 | matrix homalg_variable_458[50][60] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); |
---|
1340 | matrix homalg_variable_459[50][60] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); |
---|
1341 | homalg_variable_458==homalg_variable_459; |
---|
1342 | matrix homalg_variable_460 = DecideZeroRows(homalg_variable_446,homalg_variable_458); |
---|
1343 | IsZeroMatrix(homalg_variable_460); |
---|
1344 | ZeroRows(homalg_variable_460); |
---|
1345 | IsIdentityMatrix(homalg_variable_460); |
---|
1346 | matrix homalg_variable_461[50][60] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); |
---|
1347 | matrix homalg_variable_462[50][60] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); |
---|
1348 | homalg_variable_461==homalg_variable_462; |
---|
1349 | matrix homalg_variable_463 = DecideZeroRows(homalg_variable_446,homalg_variable_461); |
---|
1350 | IsZeroMatrix(homalg_variable_463); |
---|
1351 | ZeroRows(homalg_variable_463); |
---|
1352 | IsIdentityMatrix(homalg_variable_463); |
---|
1353 | matrix homalg_variable_464[25][30] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); |
---|
1354 | matrix homalg_variable_465[25][30] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); |
---|
1355 | homalg_variable_464==homalg_variable_465; |
---|
1356 | matrix homalg_variable_467[25][25] = unitmat(25); |
---|
1357 | matrix homalg_variable_466 = DecideZeroRows(homalg_variable_467,homalg_variable_464); |
---|
1358 | IsZeroMatrix(homalg_variable_466); |
---|
1359 | ZeroRows(homalg_variable_466); |
---|
1360 | IsIdentityMatrix(homalg_variable_466); |
---|
1361 | homalg_variable_437==homalg_variable_438; |
---|
1362 | matrix homalg_variable_468 = DecideZeroRows(homalg_variable_9,homalg_variable_437); |
---|
1363 | IsZeroMatrix(homalg_variable_468); |
---|
1364 | ZeroRows(homalg_variable_468); |
---|
1365 | IsIdentityMatrix(homalg_variable_468); |
---|
1366 | matrix homalg_variable_469[20][24] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); |
---|
1367 | matrix homalg_variable_470[20][24] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); |
---|
1368 | homalg_variable_469==homalg_variable_470; |
---|
1369 | matrix homalg_variable_472[20][20] = unitmat(20); |
---|
1370 | matrix homalg_variable_471 = DecideZeroRows(homalg_variable_472,homalg_variable_469); |
---|
1371 | IsZeroMatrix(homalg_variable_471); |
---|
1372 | ZeroRows(homalg_variable_471); |
---|
1373 | IsIdentityMatrix(homalg_variable_471); |
---|
1374 | matrix homalg_variable_473[30][36] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); |
---|
1375 | matrix homalg_variable_474[30][36] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); |
---|
1376 | homalg_variable_473==homalg_variable_474; |
---|
1377 | matrix homalg_variable_476[30][30] = unitmat(30); |
---|
1378 | matrix homalg_variable_475 = DecideZeroRows(homalg_variable_476,homalg_variable_473); |
---|
1379 | IsZeroMatrix(homalg_variable_475); |
---|
1380 | ZeroRows(homalg_variable_475); |
---|
1381 | IsIdentityMatrix(homalg_variable_475); |
---|
1382 | matrix homalg_variable_477[20][24] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); |
---|
1383 | matrix homalg_variable_478[20][24] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); |
---|
1384 | homalg_variable_477==homalg_variable_478; |
---|
1385 | matrix homalg_variable_479 = DecideZeroRows(homalg_variable_472,homalg_variable_477); |
---|
1386 | IsZeroMatrix(homalg_variable_479); |
---|
1387 | ZeroRows(homalg_variable_479); |
---|
1388 | IsIdentityMatrix(homalg_variable_479); |
---|
1389 | matrix homalg_variable_480 = DecideZeroRows(homalg_variable_9,homalg_variable_437); |
---|
1390 | IsZeroMatrix(homalg_variable_480); |
---|
1391 | ZeroRows(homalg_variable_480); |
---|
1392 | IsIdentityMatrix(homalg_variable_480); |
---|
1393 | matrix homalg_variable_481[30][36] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); |
---|
1394 | matrix homalg_variable_482[30][36] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); |
---|
1395 | homalg_variable_481==homalg_variable_482; |
---|
1396 | matrix homalg_variable_483 = DecideZeroRows(homalg_variable_476,homalg_variable_481); |
---|
1397 | IsZeroMatrix(homalg_variable_483); |
---|
1398 | ZeroRows(homalg_variable_483); |
---|
1399 | IsIdentityMatrix(homalg_variable_483); |
---|
1400 | matrix homalg_variable_484[25][30] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); |
---|
1401 | matrix homalg_variable_485[25][30] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); |
---|
1402 | homalg_variable_484==homalg_variable_485; |
---|
1403 | matrix homalg_variable_486 = DecideZeroRows(homalg_variable_467,homalg_variable_484); |
---|
1404 | IsZeroMatrix(homalg_variable_486); |
---|
1405 | ZeroRows(homalg_variable_486); |
---|
1406 | IsIdentityMatrix(homalg_variable_486); |
---|
1407 | matrix homalg_variable_487[20][24] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); |
---|
1408 | matrix homalg_variable_488[20][24] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); |
---|
1409 | homalg_variable_487==homalg_variable_488; |
---|
1410 | matrix homalg_variable_489 = DecideZeroRows(homalg_variable_472,homalg_variable_487); |
---|
1411 | IsZeroMatrix(homalg_variable_489); |
---|
1412 | ZeroRows(homalg_variable_489); |
---|
1413 | IsIdentityMatrix(homalg_variable_489); |
---|
1414 | matrix homalg_variable_490 = DecideZeroRows(homalg_variable_9,homalg_variable_437); |
---|
1415 | IsZeroMatrix(homalg_variable_490); |
---|
1416 | ZeroRows(homalg_variable_490); |
---|
1417 | IsIdentityMatrix(homalg_variable_490); |
---|
1418 | matrix homalg_variable_492[25][30] = tensor(homalg_variable_4,homalg_variable_9); |
---|
1419 | matrix homalg_variable_491 = RelativeSyzygiesGeneratorsOfRows(homalg_variable_492,homalg_variable_484); |
---|
1420 | |
---|
1421 | homalg_variable_491; |
---|
1422 | |
---|
1423 | tst_status(1);$ |
---|