source: git/Tst/New/modulo_homalg_full.tst @ 975a1d

spielwiese
Last change on this file since 975a1d was 975a1d, checked in by Oleksandr Motsak <motsak@…>, 12 years ago
ADD: full version of the Mohamed's homalg-generated dump.
  • Property mode set to 100644
File size: 63.7 KB
Line 
1LIB "tst.lib"; tst_init();
2
3
4option(noredefine);option(redSB);LIB "matrix.lib";LIB "involut.lib";LIB "nctools.lib";LIB "poly.lib";LIB "finvar.lib";
5int homalg_variable_i; int homalg_variable_j; int homalg_variable_k; list homalg_variable_l;
6
7
8proc 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
23proc 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
40proc 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
54proc 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
65proc IsZeroMatrix (matrix m)
66{
67  matrix z[nrows(m)][ncols(m)];
68  return(m==z);
69}
70
71
72proc IsIdentityMatrix (matrix m)
73{
74  return(m==unitmat(nrows(m)));
75}
76
77
78proc 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
95proc 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
114proc 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
134proc 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
176proc 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
218proc 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
260proc 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
302proc 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
328proc 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
354proc 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
377proc 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
393proc 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
409proc 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
423proc BasisOfRowModule (matrix M)
424{
425  return(std(M));
426}
427
428
429proc BasisOfColumnModule (matrix M)
430{
431  return(Involution(BasisOfRowModule(Involution(M))));
432}
433
434
435proc ReducedBasisOfRowModule (matrix M)
436{
437  return(mstd(M)[2]);
438}
439
440
441proc ReducedBasisOfColumnModule (matrix M)
442{
443  return(Involution(ReducedBasisOfRowModule(Involution(M))));
444}
445
446
447proc 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
456proc 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
466proc DecideZeroRows (matrix A, matrix B)
467{
468  return(reduce(A,B));
469}
470
471
472proc DecideZeroColumns (matrix A, matrix B)
473{
474  return(Involution(reduce(Involution(A),Involution(B))));
475}
476
477
478proc 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
487proc 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
497proc SyzForHomalg (matrix M)
498{
499  return(syz(M));
500}
501
502
503proc SyzygiesGeneratorsOfRows (matrix M)
504{
505  return(SyzForHomalg(M));
506}
507
508
509proc SyzygiesGeneratorsOfColumns (matrix M)
510{
511  return(Involution(SyzForHomalg(Involution(M))));
512}
513
514
515proc RelativeSyzygiesGeneratorsOfRows (matrix M1, matrix M2)
516{
517  return(BasisOfRowModule(modulo(M1, M2)));
518}
519
520
521proc RelativeSyzygiesGeneratorsOfColumns (matrix M1, matrix M2)
522{
523  return(Involution(RelativeSyzygiesGeneratorsOfRows(Involution(M1),Involution(M2))));
524}
525
526
527proc ReducedSyzForHomalg (matrix M)
528{
529  return(matrix(nres(M,2)[2]));
530}
531
532
533proc ReducedSyzygiesGeneratorsOfRows (matrix M)
534{
535  return(ReducedSyzForHomalg(M));
536}
537
538
539proc ReducedSyzygiesGeneratorsOfColumns (matrix M)
540{
541  return(Involution(ReducedSyzForHomalg(Involution(M))));
542}
543
544
545if ( defined(superCommutative) == 1 ) // the new name of the SCA constructor
546{ proc superCommutative_ForHomalg = superCommutative; }
547else
548{
549  if ( defined(SuperCommutative) == 1 ) // the old name of the SCA constructor
550  { proc superCommutative_ForHomalg = SuperCommutative; }
551}
552
553
554
555proc 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
563proc PrimaryDecomposition (matrix m)
564{
565  return(primdecSY(m))
566}
567
568ring homalg_variable_1 = 0,dummy_variable,dp;
569setring homalg_variable_1;
570short=0;option(redTail);
571
572proc Involution (matrix m)
573{
574  return(transpose(m));
575}
576
577ring homalg_variable_2 = (0),(x,y,z),dp;
578setring homalg_variable_2;
579short=0;option(redTail);
580
581proc Involution (matrix m)
582{
583  return(transpose(m));
584}
585
586matrix 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 ;
587homalg_variable_3 = transpose(homalg_variable_3);
588matrix homalg_variable_4 = BasisOfRowModule(homalg_variable_3);
589ncols(homalg_variable_4);
590homalg_variable_4==homalg_variable_3;
591matrix homalg_variable_5 = SyzygiesGeneratorsOfRows(homalg_variable_4);
592IsZeroMatrix(homalg_variable_5);
593ncols(homalg_variable_5);
594GetColumnIndependentUnitPositions(homalg_variable_5, list ( 0 ));
595matrix homalg_variable_7 = Involution(homalg_variable_4);
596matrix homalg_variable_6 = BasisOfColumnModule(homalg_variable_7);
597nrows(homalg_variable_6);
598homalg_variable_6==homalg_variable_7;
599matrix homalg_variable_9[5][5] = unitmat(5);
600matrix homalg_variable_8 = DecideZeroColumns(homalg_variable_9,homalg_variable_6);
601IsZeroMatrix(homalg_variable_8);
602ZeroColumns(homalg_variable_8);
603IsIdentityMatrix(homalg_variable_8);
604matrix homalg_variable_10 = SyzygiesGeneratorsOfColumns(homalg_variable_4);
605IsZeroMatrix(homalg_variable_10);
606nrows(homalg_variable_10);
607matrix homalg_variable_11 = ReducedSyzygiesGeneratorsOfRows(homalg_variable_10);
608IsZeroMatrix(homalg_variable_11);
609ncols(homalg_variable_11);
610matrix homalg_variable_12 = DecideZeroRows(homalg_variable_11,homalg_variable_4);
611IsZeroMatrix(homalg_variable_12);
612ZeroRows(homalg_variable_12);
613matrix 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     ;
614homalg_variable_13 = transpose(homalg_variable_13);
615matrix homalg_variable_14 = ReducedSyzygiesGeneratorsOfRows(homalg_variable_4);
616IsZeroMatrix(homalg_variable_14);
617ncols(homalg_variable_14);
618matrix homalg_variable_15 = ReducedSyzygiesGeneratorsOfRows(homalg_variable_14);
619IsZeroMatrix(homalg_variable_15);
620ncols(homalg_variable_15);
621list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_15); matrix homalg_variable_16 = homalg_variable_l[1]; matrix homalg_variable_17 = homalg_variable_l[2];
622nrows(homalg_variable_16);
623matrix homalg_variable_18[1][1] = unitmat(1);
624list 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];
625IsZeroMatrix(homalg_variable_19);
626matrix homalg_variable_21 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_4);
627IsZeroMatrix(homalg_variable_21);
628nrows(homalg_variable_21);
629ZeroColumns(homalg_variable_21);
630matrix homalg_variable_22 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_14);
631IsZeroMatrix(homalg_variable_22);
632nrows(homalg_variable_22);
633matrix homalg_variable_23 = BasisOfColumnModule(homalg_variable_4);
634nrows(homalg_variable_23);
635homalg_variable_23==homalg_variable_4;
636matrix homalg_variable_24 = DecideZeroColumns(homalg_variable_22,homalg_variable_23);
637IsZeroMatrix(homalg_variable_24);
638ZeroColumns(homalg_variable_24);
639matrix homalg_variable_25 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_15);
640IsZeroMatrix(homalg_variable_25);
641nrows(homalg_variable_25);
642matrix homalg_variable_26 = BasisOfColumnModule(homalg_variable_14);
643nrows(homalg_variable_26);
644homalg_variable_26==homalg_variable_14;
645matrix homalg_variable_27 = DecideZeroColumns(homalg_variable_25,homalg_variable_26);
646IsZeroMatrix(homalg_variable_27);
647ZeroColumns(homalg_variable_27);
648matrix homalg_variable_28 = SyzygiesGeneratorsOfColumns(homalg_variable_21);
649IsZeroMatrix(homalg_variable_28);
650matrix homalg_variable_29 = RelativeSyzygiesGeneratorsOfColumns(homalg_variable_24,homalg_variable_23);
651IsZeroMatrix(homalg_variable_29);
652nrows(homalg_variable_29);
653matrix homalg_variable_30 = BasisOfColumnModule(homalg_variable_29);
654nrows(homalg_variable_30);
655homalg_variable_30==homalg_variable_29;
656matrix homalg_variable_31 = SyzygiesGeneratorsOfColumns(homalg_variable_30);
657IsZeroMatrix(homalg_variable_31);
658nrows(homalg_variable_31);
659GetRowIndependentUnitPositions(homalg_variable_31, list ( 0 ));
660matrix homalg_variable_33 = submat(homalg_variable_30,intvec( 1, 3, 4, 5, 6 ),1..4);
661matrix homalg_variable_32 = SyzygiesGeneratorsOfColumns(homalg_variable_33);
662IsZeroMatrix(homalg_variable_32);
663nrows(homalg_variable_32);
664GetRowIndependentUnitPositions(homalg_variable_32, list ( 0 ));
665matrix homalg_variable_34 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_33);
666IsZeroMatrix(homalg_variable_34);
667nrows(homalg_variable_34);
668matrix homalg_variable_36 = submat(homalg_variable_27,intvec( 1, 4 ),1..4);
669matrix homalg_variable_35 = RelativeSyzygiesGeneratorsOfColumns(homalg_variable_36,homalg_variable_26);
670IsZeroMatrix(homalg_variable_35);
671nrows(homalg_variable_35);
672matrix homalg_variable_37 = BasisOfColumnModule(homalg_variable_35);
673nrows(homalg_variable_37);
674homalg_variable_37==homalg_variable_35;
675matrix homalg_variable_38 = SyzygiesGeneratorsOfColumns(homalg_variable_37);
676IsZeroMatrix(homalg_variable_38);
677nrows(homalg_variable_38);
678GetRowIndependentUnitPositions(homalg_variable_38, list ( 0 ));
679matrix homalg_variable_40 = submat(homalg_variable_37,intvec( 1, 3, 4, 5 ),1..2);
680matrix homalg_variable_39 = SyzygiesGeneratorsOfColumns(homalg_variable_40);
681IsZeroMatrix(homalg_variable_39);
682nrows(homalg_variable_39);
683GetRowIndependentUnitPositions(homalg_variable_39, list ( 0 ));
684matrix homalg_variable_41 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_40);
685IsZeroMatrix(homalg_variable_41);
686nrows(homalg_variable_41);
687matrix homalg_variable_42 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_41);
688IsZeroMatrix(homalg_variable_42);
689nrows(homalg_variable_42);
690matrix homalg_variable_43 = SyzygiesGeneratorsOfColumns(homalg_variable_16);
691IsZeroMatrix(homalg_variable_43);
692nrows(homalg_variable_43);
693GetRowIndependentUnitPositions(homalg_variable_43, list ( 0 ));
694matrix homalg_variable_44 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_16);
695IsZeroMatrix(homalg_variable_44);
696nrows(homalg_variable_44);
697matrix homalg_variable_45 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_44);
698IsZeroMatrix(homalg_variable_45);
699nrows(homalg_variable_45);
700ZeroColumns(homalg_variable_4);
701matrix homalg_variable_46 = BasisOfColumnModule(homalg_variable_10);
702nrows(homalg_variable_46);
703homalg_variable_46==homalg_variable_10;
704matrix homalg_variable_47 = SyzygiesGeneratorsOfColumns(homalg_variable_46);
705IsZeroMatrix(homalg_variable_47);
706matrix homalg_variable_49[7][5] = homalg_variable_21,homalg_variable_9;
707matrix homalg_variable_48 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_49);
708IsZeroMatrix(homalg_variable_48);
709nrows(homalg_variable_48);
710ZeroColumns(homalg_variable_48);
711ZeroColumns(homalg_variable_46);
712matrix homalg_variable_50 = submat(homalg_variable_48,1..2,intvec( 3, 4, 5, 6, 7 ));
713list 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];
714IsZeroMatrix(homalg_variable_51);
715matrix homalg_variable_53 = homalg_variable_52*(-1);
716list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_53); matrix homalg_variable_54 = homalg_variable_l[1]; matrix homalg_variable_55 = homalg_variable_l[2];
717nrows(homalg_variable_54);
718IsIdentityMatrix(homalg_variable_54);
719ncols(homalg_variable_55);
720matrix homalg_variable_57 = homalg_variable_55*homalg_variable_48;
721matrix homalg_variable_56 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_57);
722IsZeroMatrix(homalg_variable_56);
723ZeroColumns(homalg_variable_22);
724list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_22); matrix homalg_variable_58 = homalg_variable_l[1]; matrix homalg_variable_59 = homalg_variable_l[2];
725nrows(homalg_variable_58);
726list 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];
727IsZeroMatrix(homalg_variable_60);
728ncols(homalg_variable_59);
729matrix homalg_variable_62[9][6] = homalg_variable_24,homalg_variable_23;
730list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_62); matrix homalg_variable_63 = homalg_variable_l[1]; matrix homalg_variable_64 = homalg_variable_l[2];
731nrows(homalg_variable_63);
732list 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];
733IsZeroMatrix(homalg_variable_65);
734ncols(homalg_variable_64);
735matrix homalg_variable_68 = homalg_variable_66*(-1);
736matrix homalg_variable_69 = submat(homalg_variable_64,1..4,intvec( 1, 2, 3, 4 ));
737matrix homalg_variable_70 = homalg_variable_68*homalg_variable_69;
738matrix homalg_variable_67 = DecideZeroColumns(homalg_variable_70,homalg_variable_30);
739IsZeroMatrix(homalg_variable_67);
740matrix homalg_variable_71[11][4] = homalg_variable_67,homalg_variable_30;
741list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_71); matrix homalg_variable_72 = homalg_variable_l[1]; matrix homalg_variable_73 = homalg_variable_l[2];
742nrows(homalg_variable_72);
743matrix homalg_variable_75[4][4] = unitmat(4);
744matrix homalg_variable_74 = DecideZeroColumns(homalg_variable_75,homalg_variable_30);
745IsZeroMatrix(homalg_variable_74);
746IsIdentityMatrix(homalg_variable_72);
747ncols(homalg_variable_73);
748matrix homalg_variable_76 = SyzygiesGeneratorsOfColumns(homalg_variable_22);
749IsZeroMatrix(homalg_variable_76);
750nrows(homalg_variable_76);
751matrix homalg_variable_78 = homalg_variable_61*(-1);
752matrix homalg_variable_79 = homalg_variable_78*homalg_variable_59;
753matrix homalg_variable_80 = submat(homalg_variable_73,1..4,intvec( 1, 2, 3, 4 ));
754matrix homalg_variable_81 = homalg_variable_74*homalg_variable_80;
755matrix homalg_variable_82[9][4] = homalg_variable_79,homalg_variable_81;
756matrix homalg_variable_77 = RelativeSyzygiesGeneratorsOfColumns(homalg_variable_82,homalg_variable_76);
757IsZeroMatrix(homalg_variable_77);
758nrows(homalg_variable_77);
759matrix homalg_variable_83 = SyzygiesGeneratorsOfColumns(homalg_variable_77);
760IsZeroMatrix(homalg_variable_83);
761nrows(homalg_variable_83);
762GetRowIndependentUnitPositions(homalg_variable_83, list ( 0 ));
763matrix homalg_variable_85 = submat(homalg_variable_77,intvec( 1, 3, 5, 6, 7, 8 ),1..9);
764matrix homalg_variable_84 = SyzygiesGeneratorsOfColumns(homalg_variable_85);
765IsZeroMatrix(homalg_variable_84);
766ZeroColumns(homalg_variable_85);
767ZeroColumns(homalg_variable_33);
768list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_33); matrix homalg_variable_86 = homalg_variable_l[1]; matrix homalg_variable_87 = homalg_variable_l[2];
769nrows(homalg_variable_86);
770matrix homalg_variable_88 = submat(homalg_variable_85,1..6,intvec( 6, 7, 8, 9 ));
771list 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];
772IsZeroMatrix(homalg_variable_89);
773ncols(homalg_variable_87);
774list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_85); matrix homalg_variable_91 = homalg_variable_l[1]; matrix homalg_variable_92 = homalg_variable_l[2];
775nrows(homalg_variable_91);
776IsIdentityMatrix(homalg_variable_91);
777matrix homalg_variable_93[2][4] = 0;
778matrix homalg_variable_94[2][9] = concat(homalg_variable_46,homalg_variable_93);
779list 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];
780IsZeroMatrix(homalg_variable_95);
781ncols(homalg_variable_92);
782matrix homalg_variable_97 = BasisOfColumnModule(homalg_variable_32);
783nrows(homalg_variable_97);
784homalg_variable_97==homalg_variable_32;
785matrix homalg_variable_99 = homalg_variable_90*(-1);
786matrix homalg_variable_100 = homalg_variable_99*homalg_variable_87;
787matrix homalg_variable_98 = DecideZeroColumns(homalg_variable_100,homalg_variable_97);
788IsZeroMatrix(homalg_variable_98);
789matrix homalg_variable_101[7][5] = homalg_variable_98,homalg_variable_97;
790list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_101); matrix homalg_variable_102 = homalg_variable_l[1]; matrix homalg_variable_103 = homalg_variable_l[2];
791nrows(homalg_variable_102);
792matrix homalg_variable_104 = DecideZeroColumns(homalg_variable_9,homalg_variable_97);
793IsZeroMatrix(homalg_variable_104);
794IsIdentityMatrix(homalg_variable_102);
795ncols(homalg_variable_103);
796matrix homalg_variable_106 = homalg_variable_96*(-1);
797matrix homalg_variable_107 = homalg_variable_106*homalg_variable_92;
798matrix homalg_variable_108 = homalg_variable_107*homalg_variable_85;
799matrix homalg_variable_109 = submat(homalg_variable_103,1..5,intvec( 1, 2, 3, 4, 5, 6 ));
800matrix homalg_variable_110 = homalg_variable_104*homalg_variable_109;
801matrix homalg_variable_111 = homalg_variable_110*homalg_variable_85;
802matrix homalg_variable_112[7][9] = homalg_variable_108,homalg_variable_111;
803matrix homalg_variable_105 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_112);
804IsZeroMatrix(homalg_variable_105);
805nrows(homalg_variable_105);
806list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_34); matrix homalg_variable_113 = homalg_variable_l[1]; matrix homalg_variable_114 = homalg_variable_l[2];
807nrows(homalg_variable_113);
808matrix homalg_variable_115 = submat(homalg_variable_105,1..1,intvec( 3, 4, 5, 6, 7 ));
809list 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];
810IsZeroMatrix(homalg_variable_116);
811ncols(homalg_variable_114);
812matrix homalg_variable_118 = homalg_variable_117*(-1);
813matrix homalg_variable_119 = homalg_variable_118*homalg_variable_114;
814list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_119); matrix homalg_variable_120 = homalg_variable_l[1]; matrix homalg_variable_121 = homalg_variable_l[2];
815nrows(homalg_variable_120);
816IsIdentityMatrix(homalg_variable_120);
817ncols(homalg_variable_121);
818matrix homalg_variable_123 = homalg_variable_121*homalg_variable_105;
819matrix homalg_variable_122 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_123);
820IsZeroMatrix(homalg_variable_122);
821ZeroColumns(homalg_variable_14);
822matrix homalg_variable_124 = submat(homalg_variable_14,intvec( 1, 3, 4, 5, 6 ),1..4);
823list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_124); matrix homalg_variable_125 = homalg_variable_l[1]; matrix homalg_variable_126 = homalg_variable_l[2];
824nrows(homalg_variable_125);
825list 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];
826IsZeroMatrix(homalg_variable_127);
827ncols(homalg_variable_126);
828matrix homalg_variable_129 = SyzygiesGeneratorsOfColumns(homalg_variable_124);
829IsZeroMatrix(homalg_variable_129);
830nrows(homalg_variable_129);
831matrix homalg_variable_130 = BasisOfColumnModule(homalg_variable_129);
832nrows(homalg_variable_130);
833homalg_variable_130==homalg_variable_129;
834matrix homalg_variable_131 = SyzygiesGeneratorsOfColumns(homalg_variable_130);
835IsZeroMatrix(homalg_variable_131);
836nrows(homalg_variable_131);
837GetRowIndependentUnitPositions(homalg_variable_131, list ( 0 ));
838matrix homalg_variable_132 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_130);
839IsZeroMatrix(homalg_variable_132);
840nrows(homalg_variable_132);
841matrix homalg_variable_134 = homalg_variable_128*(-1);
842matrix homalg_variable_135 = homalg_variable_134*homalg_variable_126;
843matrix homalg_variable_133 = DecideZeroColumns(homalg_variable_135,homalg_variable_130);
844IsZeroMatrix(homalg_variable_133);
845matrix homalg_variable_136[9][5] = homalg_variable_133,homalg_variable_130;
846list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_136); matrix homalg_variable_137 = homalg_variable_l[1]; matrix homalg_variable_138 = homalg_variable_l[2];
847nrows(homalg_variable_137);
848matrix homalg_variable_139 = DecideZeroColumns(homalg_variable_9,homalg_variable_130);
849IsZeroMatrix(homalg_variable_139);
850IsIdentityMatrix(homalg_variable_137);
851ncols(homalg_variable_138);
852matrix homalg_variable_141 = homalg_variable_79*homalg_variable_22;
853matrix homalg_variable_142 = homalg_variable_81*homalg_variable_22;
854matrix homalg_variable_143[9][6] = homalg_variable_141,homalg_variable_142;
855matrix homalg_variable_144 = submat(homalg_variable_138,1..5,intvec( 1, 2, 3, 4, 5, 6 ));
856matrix homalg_variable_145 = homalg_variable_139*homalg_variable_144;
857matrix homalg_variable_146[14][6] = homalg_variable_143,homalg_variable_145;
858matrix homalg_variable_140 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_146);
859IsZeroMatrix(homalg_variable_140);
860nrows(homalg_variable_140);
861ZeroColumns(homalg_variable_140);
862ZeroColumns(homalg_variable_130);
863IsZeroMatrix(homalg_variable_108);
864ZeroColumns(homalg_variable_112);
865matrix homalg_variable_147 = submat(homalg_variable_140,1..8,intvec( 10, 11, 12, 13, 14 ));
866list 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];
867IsZeroMatrix(homalg_variable_148);
868list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_140); matrix homalg_variable_150 = homalg_variable_l[1]; matrix homalg_variable_151 = homalg_variable_l[2];
869nrows(homalg_variable_150);
870matrix homalg_variable_152[2][5] = 0;
871matrix homalg_variable_153[2][14] = concat(homalg_variable_108,homalg_variable_152);
872matrix homalg_variable_154[5][5] = 0;
873matrix homalg_variable_155[5][14] = concat(homalg_variable_111,homalg_variable_154);
874matrix homalg_variable_156[7][14] = homalg_variable_153,homalg_variable_155;
875list 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];
876IsZeroMatrix(homalg_variable_157);
877ncols(homalg_variable_151);
878matrix homalg_variable_159 = BasisOfColumnModule(homalg_variable_131);
879nrows(homalg_variable_159);
880homalg_variable_159==homalg_variable_131;
881matrix homalg_variable_161 = homalg_variable_149*(-1);
882matrix homalg_variable_160 = DecideZeroColumns(homalg_variable_161,homalg_variable_159);
883IsZeroMatrix(homalg_variable_160);
884matrix homalg_variable_162[9][3] = homalg_variable_160,homalg_variable_159;
885list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_162); matrix homalg_variable_163 = homalg_variable_l[1]; matrix homalg_variable_164 = homalg_variable_l[2];
886nrows(homalg_variable_163);
887matrix homalg_variable_166[3][3] = unitmat(3);
888matrix homalg_variable_165 = DecideZeroColumns(homalg_variable_166,homalg_variable_159);
889IsZeroMatrix(homalg_variable_165);
890IsIdentityMatrix(homalg_variable_163);
891ncols(homalg_variable_164);
892matrix homalg_variable_168 = homalg_variable_158*(-1);
893matrix homalg_variable_169 = homalg_variable_168*homalg_variable_151;
894matrix homalg_variable_170 = homalg_variable_169*homalg_variable_140;
895matrix homalg_variable_171 = submat(homalg_variable_164,1..3,intvec( 1, 2, 3, 4, 5, 6, 7, 8 ));
896matrix homalg_variable_172 = homalg_variable_165*homalg_variable_171;
897matrix homalg_variable_173 = homalg_variable_172*homalg_variable_140;
898matrix homalg_variable_174[10][14] = homalg_variable_170,homalg_variable_173;
899matrix homalg_variable_167 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_174);
900IsZeroMatrix(homalg_variable_167);
901nrows(homalg_variable_167);
902ZeroColumns(homalg_variable_167);
903list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_132); matrix homalg_variable_175 = homalg_variable_l[1]; matrix homalg_variable_176 = homalg_variable_l[2];
904nrows(homalg_variable_175);
905matrix homalg_variable_177 = submat(homalg_variable_167,1..2,intvec( 8, 9, 10 ));
906list 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];
907IsZeroMatrix(homalg_variable_178);
908ncols(homalg_variable_176);
909list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_167); matrix homalg_variable_180 = homalg_variable_l[1]; matrix homalg_variable_181 = homalg_variable_l[2];
910nrows(homalg_variable_180);
911matrix homalg_variable_182[1][3] = 0;
912matrix homalg_variable_183[1][10] = concat(homalg_variable_123,homalg_variable_182);
913list 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];
914IsZeroMatrix(homalg_variable_184);
915ncols(homalg_variable_181);
916matrix homalg_variable_186 = homalg_variable_179*(-1);
917matrix homalg_variable_187 = homalg_variable_186*homalg_variable_176;
918list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_187); matrix homalg_variable_188 = homalg_variable_l[1]; matrix homalg_variable_189 = homalg_variable_l[2];
919nrows(homalg_variable_188);
920IsIdentityMatrix(homalg_variable_188);
921ncols(homalg_variable_189);
922matrix homalg_variable_191 = homalg_variable_185*(-1);
923matrix homalg_variable_192 = homalg_variable_191*homalg_variable_181;
924matrix homalg_variable_193 = homalg_variable_192*homalg_variable_167;
925matrix homalg_variable_194 = homalg_variable_189*homalg_variable_167;
926matrix homalg_variable_195[2][10] = homalg_variable_193,homalg_variable_194;
927matrix homalg_variable_190 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_195);
928IsZeroMatrix(homalg_variable_190);
929ZeroColumns(homalg_variable_25);
930IsIdentityMatrix(homalg_variable_25);
931list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_25); matrix homalg_variable_196 = homalg_variable_l[1]; matrix homalg_variable_197 = homalg_variable_l[2];
932nrows(homalg_variable_196);
933IsIdentityMatrix(homalg_variable_196);
934list 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];
935IsZeroMatrix(homalg_variable_198);
936ncols(homalg_variable_197);
937matrix homalg_variable_200 = DecideZeroColumns(homalg_variable_36,homalg_variable_26);
938IsZeroMatrix(homalg_variable_200);
939matrix homalg_variable_201[8][4] = homalg_variable_200,homalg_variable_26;
940list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_201); matrix homalg_variable_202 = homalg_variable_l[1]; matrix homalg_variable_203 = homalg_variable_l[2];
941nrows(homalg_variable_202);
942IsIdentityMatrix(homalg_variable_202);
943list 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];
944IsZeroMatrix(homalg_variable_204);
945ncols(homalg_variable_203);
946matrix homalg_variable_207 = homalg_variable_205*(-1);
947matrix homalg_variable_208 = submat(homalg_variable_203,1..4,intvec( 1, 2 ));
948matrix homalg_variable_209 = homalg_variable_207*homalg_variable_208;
949matrix homalg_variable_206 = DecideZeroColumns(homalg_variable_209,homalg_variable_37);
950IsZeroMatrix(homalg_variable_206);
951matrix homalg_variable_210[9][2] = homalg_variable_206,homalg_variable_37;
952list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_210); matrix homalg_variable_211 = homalg_variable_l[1]; matrix homalg_variable_212 = homalg_variable_l[2];
953nrows(homalg_variable_211);
954matrix homalg_variable_214[2][2] = unitmat(2);
955matrix homalg_variable_213 = DecideZeroColumns(homalg_variable_214,homalg_variable_37);
956IsZeroMatrix(homalg_variable_213);
957IsIdentityMatrix(homalg_variable_211);
958ncols(homalg_variable_212);
959matrix homalg_variable_215 = SyzygiesGeneratorsOfColumns(homalg_variable_25);
960IsZeroMatrix(homalg_variable_215);
961nrows(homalg_variable_215);
962matrix homalg_variable_217 = homalg_variable_199*(-1);
963matrix homalg_variable_218 = homalg_variable_217*homalg_variable_197;
964matrix homalg_variable_219 = submat(homalg_variable_212,1..2,intvec( 1, 2, 3, 4 ));
965matrix homalg_variable_220 = homalg_variable_213*homalg_variable_219;
966matrix homalg_variable_221[7][4] = homalg_variable_218,homalg_variable_220;
967matrix homalg_variable_216 = RelativeSyzygiesGeneratorsOfColumns(homalg_variable_221,homalg_variable_215);
968IsZeroMatrix(homalg_variable_216);
969nrows(homalg_variable_216);
970matrix homalg_variable_222 = SyzygiesGeneratorsOfColumns(homalg_variable_216);
971IsZeroMatrix(homalg_variable_222);
972nrows(homalg_variable_222);
973GetRowIndependentUnitPositions(homalg_variable_222, list ( 0 ));
974matrix homalg_variable_224 = submat(homalg_variable_216,intvec( 1, 3, 4, 5 ),1..7);
975matrix homalg_variable_223 = SyzygiesGeneratorsOfColumns(homalg_variable_224);
976IsZeroMatrix(homalg_variable_223);
977ZeroColumns(homalg_variable_224);
978ZeroColumns(homalg_variable_40);
979list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_40); matrix homalg_variable_225 = homalg_variable_l[1]; matrix homalg_variable_226 = homalg_variable_l[2];
980nrows(homalg_variable_225);
981matrix homalg_variable_227 = submat(homalg_variable_224,1..4,intvec( 6, 7 ));
982list 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];
983IsZeroMatrix(homalg_variable_228);
984ncols(homalg_variable_226);
985list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_224); matrix homalg_variable_230 = homalg_variable_l[1]; matrix homalg_variable_231 = homalg_variable_l[2];
986nrows(homalg_variable_230);
987matrix homalg_variable_232[3][2] = 0;
988matrix homalg_variable_233[3][7] = concat(homalg_variable_130,homalg_variable_232);
989list 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];
990IsZeroMatrix(homalg_variable_234);
991ncols(homalg_variable_231);
992matrix homalg_variable_236 = BasisOfColumnModule(homalg_variable_39);
993nrows(homalg_variable_236);
994homalg_variable_236==homalg_variable_39;
995matrix homalg_variable_238 = homalg_variable_229*(-1);
996matrix homalg_variable_239 = homalg_variable_238*homalg_variable_226;
997matrix homalg_variable_237 = DecideZeroColumns(homalg_variable_239,homalg_variable_236);
998IsZeroMatrix(homalg_variable_237);
999matrix homalg_variable_240[7][4] = homalg_variable_237,homalg_variable_236;
1000list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_240); matrix homalg_variable_241 = homalg_variable_l[1]; matrix homalg_variable_242 = homalg_variable_l[2];
1001nrows(homalg_variable_241);
1002matrix homalg_variable_243 = DecideZeroColumns(homalg_variable_75,homalg_variable_236);
1003IsZeroMatrix(homalg_variable_243);
1004IsIdentityMatrix(homalg_variable_241);
1005ncols(homalg_variable_242);
1006matrix homalg_variable_245 = homalg_variable_235*(-1);
1007matrix homalg_variable_246 = homalg_variable_245*homalg_variable_231;
1008matrix homalg_variable_247 = homalg_variable_246*homalg_variable_224;
1009matrix homalg_variable_248 = submat(homalg_variable_242,1..4,intvec( 1, 2, 3, 4 ));
1010matrix homalg_variable_249 = homalg_variable_243*homalg_variable_248;
1011matrix homalg_variable_250 = homalg_variable_249*homalg_variable_224;
1012matrix homalg_variable_251[7][7] = homalg_variable_247,homalg_variable_250;
1013matrix homalg_variable_244 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_251);
1014IsZeroMatrix(homalg_variable_244);
1015nrows(homalg_variable_244);
1016ZeroColumns(homalg_variable_244);
1017ZeroColumns(homalg_variable_41);
1018list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_41); matrix homalg_variable_252 = homalg_variable_l[1]; matrix homalg_variable_253 = homalg_variable_l[2];
1019nrows(homalg_variable_252);
1020matrix homalg_variable_254 = submat(homalg_variable_244,1..3,intvec( 4, 5, 6, 7 ));
1021list 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];
1022IsZeroMatrix(homalg_variable_255);
1023ncols(homalg_variable_253);
1024list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_244); matrix homalg_variable_257 = homalg_variable_l[1]; matrix homalg_variable_258 = homalg_variable_l[2];
1025nrows(homalg_variable_257);
1026matrix homalg_variable_259[1][4] = 0;
1027matrix homalg_variable_260[1][7] = concat(homalg_variable_132,homalg_variable_259);
1028list 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];
1029IsZeroMatrix(homalg_variable_261);
1030ncols(homalg_variable_258);
1031matrix homalg_variable_263 = SyzygiesGeneratorsOfColumns(homalg_variable_41);
1032IsZeroMatrix(homalg_variable_263);
1033nrows(homalg_variable_263);
1034matrix homalg_variable_264 = BasisOfColumnModule(homalg_variable_263);
1035nrows(homalg_variable_264);
1036homalg_variable_264==homalg_variable_263;
1037matrix homalg_variable_266 = homalg_variable_256*(-1);
1038matrix homalg_variable_267 = homalg_variable_266*homalg_variable_253;
1039matrix homalg_variable_265 = DecideZeroColumns(homalg_variable_267,homalg_variable_264);
1040IsZeroMatrix(homalg_variable_265);
1041matrix homalg_variable_268[4][3] = homalg_variable_265,homalg_variable_264;
1042list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_268); matrix homalg_variable_269 = homalg_variable_l[1]; matrix homalg_variable_270 = homalg_variable_l[2];
1043nrows(homalg_variable_269);
1044matrix homalg_variable_271 = DecideZeroColumns(homalg_variable_166,homalg_variable_264);
1045IsZeroMatrix(homalg_variable_271);
1046IsIdentityMatrix(homalg_variable_269);
1047ncols(homalg_variable_270);
1048matrix homalg_variable_273 = homalg_variable_262*(-1);
1049matrix homalg_variable_274 = homalg_variable_273*homalg_variable_258;
1050matrix homalg_variable_275 = homalg_variable_274*homalg_variable_244;
1051matrix homalg_variable_276 = submat(homalg_variable_270,1..3,intvec( 1, 2, 3 ));
1052matrix homalg_variable_277 = homalg_variable_271*homalg_variable_276;
1053matrix homalg_variable_278 = homalg_variable_277*homalg_variable_244;
1054matrix homalg_variable_279[4][7] = homalg_variable_275,homalg_variable_278;
1055matrix homalg_variable_272 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_279);
1056IsZeroMatrix(homalg_variable_272);
1057nrows(homalg_variable_272);
1058list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_42); matrix homalg_variable_280 = homalg_variable_l[1]; matrix homalg_variable_281 = homalg_variable_l[2];
1059nrows(homalg_variable_280);
1060matrix homalg_variable_282 = submat(homalg_variable_272,1..1,intvec( 2, 3, 4 ));
1061list 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];
1062IsZeroMatrix(homalg_variable_283);
1063ncols(homalg_variable_281);
1064matrix homalg_variable_285 = homalg_variable_284*(-1);
1065matrix homalg_variable_286 = homalg_variable_285*homalg_variable_281;
1066list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_286); matrix homalg_variable_287 = homalg_variable_l[1]; matrix homalg_variable_288 = homalg_variable_l[2];
1067nrows(homalg_variable_287);
1068IsIdentityMatrix(homalg_variable_287);
1069ncols(homalg_variable_288);
1070ZeroColumns(homalg_variable_15);
1071matrix homalg_variable_289 = submat(homalg_variable_15,intvec( 2, 3, 4 ),1..1);
1072list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_289); matrix homalg_variable_290 = homalg_variable_l[1]; matrix homalg_variable_291 = homalg_variable_l[2];
1073nrows(homalg_variable_290);
1074list 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];
1075IsZeroMatrix(homalg_variable_292);
1076ncols(homalg_variable_291);
1077matrix homalg_variable_294 = SyzygiesGeneratorsOfColumns(homalg_variable_289);
1078IsZeroMatrix(homalg_variable_294);
1079nrows(homalg_variable_294);
1080matrix homalg_variable_295 = BasisOfColumnModule(homalg_variable_294);
1081nrows(homalg_variable_295);
1082homalg_variable_295==homalg_variable_294;
1083matrix homalg_variable_296 = SyzygiesGeneratorsOfColumns(homalg_variable_295);
1084IsZeroMatrix(homalg_variable_296);
1085nrows(homalg_variable_296);
1086GetRowIndependentUnitPositions(homalg_variable_296, list ( 0 ));
1087matrix homalg_variable_297 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_295);
1088IsZeroMatrix(homalg_variable_297);
1089nrows(homalg_variable_297);
1090matrix homalg_variable_299 = homalg_variable_288*homalg_variable_272;
1091matrix homalg_variable_298 = SyzygiesGeneratorsOfColumns(homalg_variable_299);
1092IsZeroMatrix(homalg_variable_298);
1093matrix homalg_variable_301 = homalg_variable_293*(-1);
1094matrix homalg_variable_302 = homalg_variable_301*homalg_variable_291;
1095matrix homalg_variable_300 = DecideZeroColumns(homalg_variable_302,homalg_variable_295);
1096IsZeroMatrix(homalg_variable_300);
1097matrix homalg_variable_303[7][3] = homalg_variable_300,homalg_variable_295;
1098list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_303); matrix homalg_variable_304 = homalg_variable_l[1]; matrix homalg_variable_305 = homalg_variable_l[2];
1099nrows(homalg_variable_304);
1100matrix homalg_variable_306 = DecideZeroColumns(homalg_variable_166,homalg_variable_295);
1101IsZeroMatrix(homalg_variable_306);
1102IsIdentityMatrix(homalg_variable_304);
1103ncols(homalg_variable_305);
1104matrix homalg_variable_308 = homalg_variable_218*homalg_variable_25;
1105matrix homalg_variable_309 = homalg_variable_220*homalg_variable_25;
1106matrix homalg_variable_310[7][4] = homalg_variable_308,homalg_variable_309;
1107matrix homalg_variable_311 = submat(homalg_variable_305,1..3,intvec( 1, 2, 3, 4 ));
1108matrix homalg_variable_312 = homalg_variable_306*homalg_variable_311;
1109matrix homalg_variable_313[10][4] = homalg_variable_310,homalg_variable_312;
1110matrix homalg_variable_307 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_313);
1111IsZeroMatrix(homalg_variable_307);
1112nrows(homalg_variable_307);
1113ZeroColumns(homalg_variable_307);
1114ZeroColumns(homalg_variable_295);
1115IsIdentityMatrix(homalg_variable_295);
1116IsZeroMatrix(homalg_variable_247);
1117ZeroColumns(homalg_variable_251);
1118IsIdentityMatrix(homalg_variable_251);
1119matrix homalg_variable_314 = submat(homalg_variable_307,1..6,intvec( 8, 9, 10 ));
1120list 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];
1121IsZeroMatrix(homalg_variable_315);
1122list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_307); matrix homalg_variable_317 = homalg_variable_l[1]; matrix homalg_variable_318 = homalg_variable_l[2];
1123nrows(homalg_variable_317);
1124matrix homalg_variable_319[3][3] = 0;
1125matrix homalg_variable_320[3][10] = concat(homalg_variable_247,homalg_variable_319);
1126matrix homalg_variable_321[4][3] = 0;
1127matrix homalg_variable_322[4][10] = concat(homalg_variable_250,homalg_variable_321);
1128matrix homalg_variable_323[7][10] = homalg_variable_320,homalg_variable_322;
1129list 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];
1130IsZeroMatrix(homalg_variable_324);
1131ncols(homalg_variable_318);
1132matrix homalg_variable_326 = BasisOfColumnModule(homalg_variable_296);
1133nrows(homalg_variable_326);
1134homalg_variable_326==homalg_variable_296;
1135matrix homalg_variable_328 = homalg_variable_316*(-1);
1136matrix homalg_variable_327 = DecideZeroColumns(homalg_variable_328,homalg_variable_326);
1137IsZeroMatrix(homalg_variable_327);
1138matrix homalg_variable_329[7][3] = homalg_variable_327,homalg_variable_326;
1139list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_329); matrix homalg_variable_330 = homalg_variable_l[1]; matrix homalg_variable_331 = homalg_variable_l[2];
1140nrows(homalg_variable_330);
1141matrix homalg_variable_332 = DecideZeroColumns(homalg_variable_166,homalg_variable_326);
1142IsZeroMatrix(homalg_variable_332);
1143IsIdentityMatrix(homalg_variable_330);
1144ncols(homalg_variable_331);
1145matrix homalg_variable_334 = homalg_variable_325*(-1);
1146matrix homalg_variable_335 = homalg_variable_334*homalg_variable_318;
1147matrix homalg_variable_336 = homalg_variable_335*homalg_variable_307;
1148matrix homalg_variable_337 = submat(homalg_variable_331,1..3,intvec( 1, 2, 3, 4, 5, 6 ));
1149matrix homalg_variable_338 = homalg_variable_332*homalg_variable_337;
1150matrix homalg_variable_339 = homalg_variable_338*homalg_variable_307;
1151matrix homalg_variable_340[10][10] = homalg_variable_336,homalg_variable_339;
1152matrix homalg_variable_333 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_340);
1153IsZeroMatrix(homalg_variable_333);
1154nrows(homalg_variable_333);
1155ZeroColumns(homalg_variable_333);
1156IsZeroMatrix(homalg_variable_275);
1157ZeroColumns(homalg_variable_279);
1158list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_297); matrix homalg_variable_341 = homalg_variable_l[1]; matrix homalg_variable_342 = homalg_variable_l[2];
1159nrows(homalg_variable_341);
1160matrix homalg_variable_343 = submat(homalg_variable_333,1..4,intvec( 8, 9, 10 ));
1161list 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];
1162IsZeroMatrix(homalg_variable_344);
1163ncols(homalg_variable_342);
1164list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_333); matrix homalg_variable_346 = homalg_variable_l[1]; matrix homalg_variable_347 = homalg_variable_l[2];
1165nrows(homalg_variable_346);
1166matrix homalg_variable_348[1][3] = 0;
1167matrix homalg_variable_349[1][10] = concat(homalg_variable_275,homalg_variable_348);
1168matrix homalg_variable_350[3][3] = 0;
1169matrix homalg_variable_351[3][10] = concat(homalg_variable_278,homalg_variable_350);
1170matrix homalg_variable_352[4][10] = homalg_variable_349,homalg_variable_351;
1171list 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];
1172IsZeroMatrix(homalg_variable_353);
1173ncols(homalg_variable_347);
1174matrix homalg_variable_355 = homalg_variable_345*(-1);
1175matrix homalg_variable_356 = homalg_variable_355*homalg_variable_342;
1176list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_356); matrix homalg_variable_357 = homalg_variable_l[1]; matrix homalg_variable_358 = homalg_variable_l[2];
1177nrows(homalg_variable_357);
1178IsIdentityMatrix(homalg_variable_357);
1179ncols(homalg_variable_358);
1180matrix homalg_variable_360 = homalg_variable_354*(-1);
1181matrix homalg_variable_361 = homalg_variable_360*homalg_variable_347;
1182matrix homalg_variable_362 = homalg_variable_361*homalg_variable_333;
1183matrix homalg_variable_363 = homalg_variable_358*homalg_variable_333;
1184matrix homalg_variable_364[5][10] = homalg_variable_362,homalg_variable_363;
1185matrix homalg_variable_359 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_364);
1186IsZeroMatrix(homalg_variable_359);
1187nrows(homalg_variable_359);
1188matrix homalg_variable_365 = submat(homalg_variable_359,1..1,intvec( 5 ));
1189IsZeroMatrix(homalg_variable_365);
1190list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_359); matrix homalg_variable_366 = homalg_variable_l[1]; matrix homalg_variable_367 = homalg_variable_l[2];
1191nrows(homalg_variable_366);
1192matrix homalg_variable_368[1][1] = 0;
1193matrix homalg_variable_369[1][5] = concat(homalg_variable_299,homalg_variable_368);
1194list 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];
1195IsZeroMatrix(homalg_variable_370);
1196ncols(homalg_variable_367);
1197matrix homalg_variable_373[1][1] = unitmat(1);
1198matrix homalg_variable_374[4][1] = homalg_variable_289,homalg_variable_373;
1199matrix homalg_variable_372 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_374);
1200IsZeroMatrix(homalg_variable_372);
1201nrows(homalg_variable_372);
1202ZeroColumns(homalg_variable_372);
1203ZeroColumns(homalg_variable_16);
1204matrix homalg_variable_375 = submat(homalg_variable_372,1..3,intvec( 4 ));
1205list 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];
1206IsZeroMatrix(homalg_variable_376);
1207list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_372); matrix homalg_variable_378 = homalg_variable_l[1]; matrix homalg_variable_379 = homalg_variable_l[2];
1208nrows(homalg_variable_378);
1209matrix homalg_variable_380[3][1] = 0;
1210matrix homalg_variable_381[3][4] = concat(homalg_variable_295,homalg_variable_380);
1211list 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];
1212IsZeroMatrix(homalg_variable_382);
1213ncols(homalg_variable_379);
1214matrix homalg_variable_384 = BasisOfColumnModule(homalg_variable_43);
1215nrows(homalg_variable_384);
1216homalg_variable_384==homalg_variable_43;
1217matrix homalg_variable_386 = homalg_variable_377*(-1);
1218matrix homalg_variable_385 = DecideZeroColumns(homalg_variable_386,homalg_variable_384);
1219IsZeroMatrix(homalg_variable_385);
1220matrix homalg_variable_387[6][3] = homalg_variable_385,homalg_variable_384;
1221list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_387); matrix homalg_variable_388 = homalg_variable_l[1]; matrix homalg_variable_389 = homalg_variable_l[2];
1222nrows(homalg_variable_388);
1223matrix homalg_variable_390 = DecideZeroColumns(homalg_variable_166,homalg_variable_384);
1224IsZeroMatrix(homalg_variable_390);
1225IsIdentityMatrix(homalg_variable_388);
1226ncols(homalg_variable_389);
1227matrix homalg_variable_392 = homalg_variable_383*(-1);
1228matrix homalg_variable_393 = homalg_variable_392*homalg_variable_379;
1229matrix homalg_variable_394 = homalg_variable_393*homalg_variable_372;
1230matrix homalg_variable_395 = submat(homalg_variable_389,1..3,intvec( 1, 2, 3 ));
1231matrix homalg_variable_396 = homalg_variable_390*homalg_variable_395;
1232matrix homalg_variable_397 = homalg_variable_396*homalg_variable_372;
1233matrix homalg_variable_398[6][4] = homalg_variable_394,homalg_variable_397;
1234matrix homalg_variable_391 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_398);
1235IsZeroMatrix(homalg_variable_391);
1236nrows(homalg_variable_391);
1237ZeroColumns(homalg_variable_391);
1238ZeroColumns(homalg_variable_44);
1239IsIdentityMatrix(homalg_variable_44);
1240list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_44); matrix homalg_variable_399 = homalg_variable_l[1]; matrix homalg_variable_400 = homalg_variable_l[2];
1241nrows(homalg_variable_399);
1242IsIdentityMatrix(homalg_variable_399);
1243matrix homalg_variable_401 = submat(homalg_variable_391,1..3,intvec( 4, 5, 6 ));
1244list 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];
1245IsZeroMatrix(homalg_variable_402);
1246ncols(homalg_variable_400);
1247list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_391); matrix homalg_variable_404 = homalg_variable_l[1]; matrix homalg_variable_405 = homalg_variable_l[2];
1248nrows(homalg_variable_404);
1249matrix homalg_variable_406[1][3] = 0;
1250matrix homalg_variable_407[1][6] = concat(homalg_variable_297,homalg_variable_406);
1251list 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];
1252IsZeroMatrix(homalg_variable_408);
1253ncols(homalg_variable_405);
1254matrix homalg_variable_410 = SyzygiesGeneratorsOfColumns(homalg_variable_44);
1255IsZeroMatrix(homalg_variable_410);
1256nrows(homalg_variable_410);
1257matrix homalg_variable_411 = BasisOfColumnModule(homalg_variable_410);
1258nrows(homalg_variable_411);
1259homalg_variable_411==homalg_variable_410;
1260matrix homalg_variable_413 = homalg_variable_403*(-1);
1261matrix homalg_variable_414 = homalg_variable_413*homalg_variable_400;
1262matrix homalg_variable_412 = DecideZeroColumns(homalg_variable_414,homalg_variable_411);
1263IsZeroMatrix(homalg_variable_412);
1264matrix homalg_variable_415[4][3] = homalg_variable_412,homalg_variable_411;
1265list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_415); matrix homalg_variable_416 = homalg_variable_l[1]; matrix homalg_variable_417 = homalg_variable_l[2];
1266nrows(homalg_variable_416);
1267matrix homalg_variable_418 = DecideZeroColumns(homalg_variable_166,homalg_variable_411);
1268IsZeroMatrix(homalg_variable_418);
1269IsIdentityMatrix(homalg_variable_416);
1270ncols(homalg_variable_417);
1271matrix homalg_variable_420 = homalg_variable_409*(-1);
1272matrix homalg_variable_421 = homalg_variable_420*homalg_variable_405;
1273matrix homalg_variable_422 = homalg_variable_421*homalg_variable_391;
1274matrix homalg_variable_423 = submat(homalg_variable_417,1..3,intvec( 1, 2, 3 ));
1275matrix homalg_variable_424 = homalg_variable_418*homalg_variable_423;
1276matrix homalg_variable_425 = homalg_variable_424*homalg_variable_391;
1277matrix homalg_variable_426[4][6] = homalg_variable_422,homalg_variable_425;
1278matrix homalg_variable_419 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_426);
1279IsZeroMatrix(homalg_variable_419);
1280nrows(homalg_variable_419);
1281list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_45); matrix homalg_variable_427 = homalg_variable_l[1]; matrix homalg_variable_428 = homalg_variable_l[2];
1282nrows(homalg_variable_427);
1283matrix homalg_variable_429 = submat(homalg_variable_419,1..1,intvec( 2, 3, 4 ));
1284list 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];
1285IsZeroMatrix(homalg_variable_430);
1286ncols(homalg_variable_428);
1287matrix homalg_variable_432 = homalg_variable_431*(-1);
1288matrix homalg_variable_433 = homalg_variable_432*homalg_variable_428;
1289list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_433); matrix homalg_variable_434 = homalg_variable_l[1]; matrix homalg_variable_435 = homalg_variable_l[2];
1290nrows(homalg_variable_434);
1291IsIdentityMatrix(homalg_variable_434);
1292ncols(homalg_variable_435);
1293matrix homalg_variable_436 = SyzygiesGeneratorsOfColumns(homalg_variable_6);
1294IsZeroMatrix(homalg_variable_436);
1295nrows(homalg_variable_436);
1296GetRowIndependentUnitPositions(homalg_variable_436, list ( 0 ));
1297matrix homalg_variable_438 = Involution(homalg_variable_6);
1298matrix homalg_variable_437 = BasisOfRowModule(homalg_variable_438);
1299ncols(homalg_variable_437);
1300matrix 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);
1301matrix 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);
1302homalg_variable_439==homalg_variable_440;
1303matrix homalg_variable_442[70][70] = unitmat(70);
1304matrix homalg_variable_441 = DecideZeroRows(homalg_variable_442,homalg_variable_439);
1305IsZeroMatrix(homalg_variable_441);
1306ZeroRows(homalg_variable_441);
1307IsIdentityMatrix(homalg_variable_441);
1308matrix 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);
1309matrix 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);
1310homalg_variable_443==homalg_variable_444;
1311matrix homalg_variable_446[50][50] = unitmat(50);
1312matrix homalg_variable_445 = DecideZeroRows(homalg_variable_446,homalg_variable_443);
1313IsZeroMatrix(homalg_variable_445);
1314ZeroRows(homalg_variable_445);
1315IsIdentityMatrix(homalg_variable_445);
1316matrix homalg_variable_447[10][12] = dsum(homalg_variable_437,homalg_variable_437);
1317matrix homalg_variable_448[10][12] = dsum(homalg_variable_438,homalg_variable_438);
1318homalg_variable_447==homalg_variable_448;
1319matrix homalg_variable_450[10][10] = unitmat(10);
1320matrix homalg_variable_449 = DecideZeroRows(homalg_variable_450,homalg_variable_447);
1321IsZeroMatrix(homalg_variable_449);
1322ZeroRows(homalg_variable_449);
1323IsIdentityMatrix(homalg_variable_449);
1324matrix 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);
1325matrix 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);
1326homalg_variable_451==homalg_variable_452;
1327matrix homalg_variable_454[35][35] = unitmat(35);
1328matrix homalg_variable_453 = DecideZeroRows(homalg_variable_454,homalg_variable_451);
1329IsZeroMatrix(homalg_variable_453);
1330ZeroRows(homalg_variable_453);
1331IsIdentityMatrix(homalg_variable_453);
1332matrix homalg_variable_455[10][12] = dsum(homalg_variable_437,homalg_variable_437);
1333matrix homalg_variable_456[10][12] = dsum(homalg_variable_438,homalg_variable_438);
1334homalg_variable_455==homalg_variable_456;
1335matrix homalg_variable_457 = DecideZeroRows(homalg_variable_450,homalg_variable_455);
1336IsZeroMatrix(homalg_variable_457);
1337ZeroRows(homalg_variable_457);
1338IsIdentityMatrix(homalg_variable_457);
1339matrix 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);
1340matrix 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);
1341homalg_variable_458==homalg_variable_459;
1342matrix homalg_variable_460 = DecideZeroRows(homalg_variable_446,homalg_variable_458);
1343IsZeroMatrix(homalg_variable_460);
1344ZeroRows(homalg_variable_460);
1345IsIdentityMatrix(homalg_variable_460);
1346matrix 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);
1347matrix 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);
1348homalg_variable_461==homalg_variable_462;
1349matrix homalg_variable_463 = DecideZeroRows(homalg_variable_446,homalg_variable_461);
1350IsZeroMatrix(homalg_variable_463);
1351ZeroRows(homalg_variable_463);
1352IsIdentityMatrix(homalg_variable_463);
1353matrix homalg_variable_464[25][30] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437);
1354matrix homalg_variable_465[25][30] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438);
1355homalg_variable_464==homalg_variable_465;
1356matrix homalg_variable_467[25][25] = unitmat(25);
1357matrix homalg_variable_466 = DecideZeroRows(homalg_variable_467,homalg_variable_464);
1358IsZeroMatrix(homalg_variable_466);
1359ZeroRows(homalg_variable_466);
1360IsIdentityMatrix(homalg_variable_466);
1361homalg_variable_437==homalg_variable_438;
1362matrix homalg_variable_468 = DecideZeroRows(homalg_variable_9,homalg_variable_437);
1363IsZeroMatrix(homalg_variable_468);
1364ZeroRows(homalg_variable_468);
1365IsIdentityMatrix(homalg_variable_468);
1366matrix homalg_variable_469[20][24] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437);
1367matrix homalg_variable_470[20][24] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438);
1368homalg_variable_469==homalg_variable_470;
1369matrix homalg_variable_472[20][20] = unitmat(20);
1370matrix homalg_variable_471 = DecideZeroRows(homalg_variable_472,homalg_variable_469);
1371IsZeroMatrix(homalg_variable_471);
1372ZeroRows(homalg_variable_471);
1373IsIdentityMatrix(homalg_variable_471);
1374matrix homalg_variable_473[30][36] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437);
1375matrix homalg_variable_474[30][36] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438);
1376homalg_variable_473==homalg_variable_474;
1377matrix homalg_variable_476[30][30] = unitmat(30);
1378matrix homalg_variable_475 = DecideZeroRows(homalg_variable_476,homalg_variable_473);
1379IsZeroMatrix(homalg_variable_475);
1380ZeroRows(homalg_variable_475);
1381IsIdentityMatrix(homalg_variable_475);
1382matrix homalg_variable_477[20][24] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437);
1383matrix homalg_variable_478[20][24] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438);
1384homalg_variable_477==homalg_variable_478;
1385matrix homalg_variable_479 = DecideZeroRows(homalg_variable_472,homalg_variable_477);
1386IsZeroMatrix(homalg_variable_479);
1387ZeroRows(homalg_variable_479);
1388IsIdentityMatrix(homalg_variable_479);
1389matrix homalg_variable_480 = DecideZeroRows(homalg_variable_9,homalg_variable_437);
1390IsZeroMatrix(homalg_variable_480);
1391ZeroRows(homalg_variable_480);
1392IsIdentityMatrix(homalg_variable_480);
1393matrix homalg_variable_481[30][36] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437);
1394matrix homalg_variable_482[30][36] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438);
1395homalg_variable_481==homalg_variable_482;
1396matrix homalg_variable_483 = DecideZeroRows(homalg_variable_476,homalg_variable_481);
1397IsZeroMatrix(homalg_variable_483);
1398ZeroRows(homalg_variable_483);
1399IsIdentityMatrix(homalg_variable_483);
1400matrix homalg_variable_484[25][30] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437);
1401matrix homalg_variable_485[25][30] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438);
1402homalg_variable_484==homalg_variable_485;
1403matrix homalg_variable_486 = DecideZeroRows(homalg_variable_467,homalg_variable_484);
1404IsZeroMatrix(homalg_variable_486);
1405ZeroRows(homalg_variable_486);
1406IsIdentityMatrix(homalg_variable_486);
1407matrix homalg_variable_487[20][24] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437);
1408matrix homalg_variable_488[20][24] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438);
1409homalg_variable_487==homalg_variable_488;
1410matrix homalg_variable_489 = DecideZeroRows(homalg_variable_472,homalg_variable_487);
1411IsZeroMatrix(homalg_variable_489);
1412ZeroRows(homalg_variable_489);
1413IsIdentityMatrix(homalg_variable_489);
1414matrix homalg_variable_490 = DecideZeroRows(homalg_variable_9,homalg_variable_437);
1415IsZeroMatrix(homalg_variable_490);
1416ZeroRows(homalg_variable_490);
1417IsIdentityMatrix(homalg_variable_490);
1418matrix homalg_variable_492[25][30] = tensor(homalg_variable_4,homalg_variable_9);
1419matrix homalg_variable_491 = RelativeSyzygiesGeneratorsOfRows(homalg_variable_492,homalg_variable_484);
1420
1421homalg_variable_491;
1422
1423tst_status(1);$
Note: See TracBrowser for help on using the repository browser.