LIB "tst.lib"; tst_init(); option(noredefine);option(redSB);LIB "matrix.lib";LIB "involut.lib";LIB "nctools.lib";LIB "poly.lib";LIB "finvar.lib"; int homalg_variable_i; int homalg_variable_j; int homalg_variable_k; list homalg_variable_l; proc IsMemberOfList (int i, list l) { int k = size(l); for (int p=1; p<=k; p++) { if (l[p]==i) { return(1); // this is not a mistake } } return(0); } proc Difference (list a, list b) { list c; int s=size(a); int l = 1; for (int p=1; p<=s; p++) { if (IsMemberOfList(a[p],b)==0) { c[l] = a[p]; l++; } } return(c); } proc GetSparseListOfHomalgMatrixAsString (M) { list l;int k; k = 1; for(int i=1; i<=ncols(M); i++){ for(int j=1; j<=nrows(M); j++){ def p=M[j,i]; // remark: matrices are saved transposed in Singular if(p!=0){l[k]=list(i,j,p); k++;}; }; }; return(string(l)); } proc CreateListListOfIntegers (degrees,m,n) { list l; for (int i=m; i>=1; i--) { l[i]=intvec(degrees[(i-1)*n+1..i*n]); } return(l); } proc IsZeroMatrix (matrix m) { matrix z[nrows(m)][ncols(m)]; return(m==z); } proc IsIdentityMatrix (matrix m) { return(m==unitmat(nrows(m))); } proc IsDiagonalMatrix (matrix m) { int min=nrows(m); if (min>ncols(m)) { min=ncols(m); } matrix z[nrows(m)][ncols(m)]; matrix c = m; for (int i=1; i<=min; i++) { c[i,i]=0; } return(c==z); } proc ZeroRows (module m) { list l; int s = 1; for (int i=1;i<=ncols(m);i++) { if (m[i]==0) { l[s]=i; s++; } } if (size(l)==0) { return("[]")); } return(string(l)); } proc ZeroColumns (matrix n) { matrix m=module(transpose(n)); list l; int s = 1; for (int i=1;i<=ncols(m);i++) { if (m[i]==0) { l[s]=i; s++; } } if (size(l)==0) { return("[]")); } return(string(l)); } proc GetColumnIndependentUnitPositions (matrix M, list pos_list) { int m = nrows(M); int n = ncols(M); list rest; for (int o=m; o>=1; o--) { rest[o] = o; } int r = m; list e; list rest2; list pos; int i; int k; int a; int s = 1; for (int j=1; j<=n; j++) { for (i=1; i<=r; i++) { k = rest[r-i+1]; if (deg(M[k,j]) == 0) //IsUnit { rest2 = e; pos[s] = list(j,k); s++; for (a=1; a<=r; a++) { if (M[rest[a],j] == 0) { rest2[size(rest2)+1] = rest[a]; } } rest = rest2; r = size(rest); break; } } } return(string(pos)); } proc GetColumnIndependentUnitPositions_Z (matrix M, list pos_list) { int m = nrows(M); int n = ncols(M); list rest; for (int o=m; o>=1; o--) { rest[o] = o; } int r = m; list e; list rest2; list pos; int i; int k; int a; int s = 1; for (int j=1; j<=n; j++) { for (i=1; i<=r; i++) { k = rest[r-i+1]; if (M[k,j] == 1 || M[k,j] == -1) //IsUnit { rest2 = e; pos[s] = list(j,k); s++; for (a=1; a<=r; a++) { if (M[rest[a],j] == 0) { rest2[size(rest2)+1] = rest[a]; } } rest = rest2; r = size(rest); break; } } } return(string(pos)); } proc GetRowIndependentUnitPositions (matrix M, list pos_list) { int m = nrows(M); int n = ncols(M); list rest; for (int o=n; o>=1; o--) { rest[o] = o; } int r = n; list e; list rest2; list pos; int j; int k; int a; int s = 1; for (int i=1; i<=m; i++) { for (j=1; j<=r; j++) { k = rest[r-j+1]; if (deg(M[i,k]) == 0) //IsUnit { rest2 = e; pos[s] = list(i,k); s++; for (a=1; a<=r; a++) { if (M[i,rest[a]] == 0) { rest2[size(rest2)+1] = rest[a]; } } rest = rest2; r = size(rest); break; } } } return(string(pos)); } proc GetRowIndependentUnitPositions_Z (matrix M, list pos_list) { int m = nrows(M); int n = ncols(M); list rest; for (int o=n; o>=1; o--) { rest[o] = o; } int r = n; list e; list rest2; list pos; int j; int k; int a; int s = 1; for (int i=1; i<=m; i++) { for (j=1; j<=r; j++) { k = rest[r-j+1]; if (M[i,k] == 1 || M[i,k] == -1) //IsUnit { rest2 = e; pos[s] = list(i,k); s++; for (a=1; a<=r; a++) { if (M[i,rest[a]] == 0) { rest2[size(rest2)+1] = rest[a]; } } rest = rest2; r = size(rest); break; } } } return(string(pos)); } proc GetUnitPosition (matrix M, list pos_list) { int m = nrows(M); int n = ncols(M); int r; list rest; for (int o=m; o>=1; o--) { rest[o] = o; } rest=Difference(rest,pos_list); r=size(rest); for (int j=1; j<=n; j++) { for (int i=1; i<=r; i++) { if (deg(M[rest[i],j]) == 0) //IsUnit { return(string(j,",",rest[i])); // this is not a mistake } } } return("fail"); } proc GetUnitPosition_Z (matrix M, list pos_list) { int m = nrows(M); int n = ncols(M); int r; list rest; for (int o=m; o>=1; o--) { rest[o] = o; } rest=Difference(rest,pos_list); r=size(rest); for (int j=1; j<=n; j++) { for (int i=1; i<=r; i++) { if (M[rest[i],j] == 1 || M[rest[i],j] == -1) //IsUnit { return(string(j,",",rest[i])); // this is not a mistake } } } return("fail"); } proc GetCleanRowsPositions (matrix m, list l) { list rows; int s = 1; for (int i=1;i<=size(l);i++) { for (int j=1;j<=ncols(m);j++) { if (m[l[i],j]==1) { rows[s] = j; s++; break; } } } if (s==0) { return("[]")); } return(string(rows)); } proc PositionOfFirstNonZeroEntryPerRow (matrix M) { int b = 1; intmat m[1][ncols(M)]; for (int i=1; i<=ncols(M); i++) { for (int j=1; j<=nrows(M); j++) { if ( M[j,i] <> 0 ) { m[1,i] = j; break; } } if ( b && i > 1 ) { if ( m[1,i] <> m[1,i-1] ) { b = 0; } } // Singular is strange } if ( b ) { return(m[1,1]); } else { return(m); } } proc PositionOfFirstNonZeroEntryPerColumn (matrix M) { int b = 1; intmat m[1][nrows(M)]; for (int j=1; j<=nrows(M); j++) { for (int i=1; i<=ncols(M); i++) { if ( M[j,i] <> 0 ) { m[1,j] = i; break; } } if ( b && j > 1 ) { if ( m[1,j] <> m[1,j-1] ) { b = 0; } } // Singular is strange } if ( b ) { return(m[1,1]); } else { return(m); } } proc IndicatorMatrixOfNonZeroEntries(matrix M) { intmat m[ncols(M)][nrows(M)]; for (int i=1; i<=ncols(M); i++) { for (int j=1; j<=nrows(M); j++) { m[i,j] = ( M[j,i] <> 0 ); } } return(m); } proc BasisOfRowModule (matrix M) { return(std(M)); } proc BasisOfColumnModule (matrix M) { return(Involution(BasisOfRowModule(Involution(M)))); } proc ReducedBasisOfRowModule (matrix M) { return(mstd(M)[2]); } proc ReducedBasisOfColumnModule (matrix M) { return(Involution(ReducedBasisOfRowModule(Involution(M)))); } proc BasisOfRowsCoeff (matrix M) { matrix B = BasisOfRowModule(M); matrix T = lift(M,B); list l = B,T; return(l) } proc BasisOfColumnsCoeff (matrix M) { list l = BasisOfRowsCoeff(Involution(M)); matrix B = l[1]; matrix T = l[2]; l = Involution(B),Involution(T); return(l); } proc DecideZeroRows (matrix A, matrix B) { return(reduce(A,B)); } proc DecideZeroColumns (matrix A, matrix B) { return(Involution(reduce(Involution(A),Involution(B)))); } proc DecideZeroRowsEffectively (matrix A, matrix B) { matrix M = reduce(A,B); matrix T = lift(B,M-A); list l = M,T; return(l); } proc DecideZeroColumnsEffectively (matrix A, matrix B) { list l = DecideZeroRowsEffectively(Involution(A),Involution(B)); matrix B = l[1]; matrix T = l[2]; l = Involution(B),Involution(T); return(l); } proc SyzForHomalg (matrix M) { return(syz(M)); } proc SyzygiesGeneratorsOfRows (matrix M) { return(SyzForHomalg(M)); } proc SyzygiesGeneratorsOfColumns (matrix M) { return(Involution(SyzForHomalg(Involution(M)))); } proc RelativeSyzygiesGeneratorsOfRows (matrix M1, matrix M2) { return(BasisOfRowModule(modulo(M1, M2))); } proc RelativeSyzygiesGeneratorsOfColumns (matrix M1, matrix M2) { return(Involution(RelativeSyzygiesGeneratorsOfRows(Involution(M1),Involution(M2)))); } proc ReducedSyzForHomalg (matrix M) { return(matrix(nres(M,2)[2])); } proc ReducedSyzygiesGeneratorsOfRows (matrix M) { return(ReducedSyzForHomalg(M)); } proc ReducedSyzygiesGeneratorsOfColumns (matrix M) { return(Involution(ReducedSyzForHomalg(Involution(M)))); } if ( defined(superCommutative) == 1 ) // the new name of the SCA constructor { proc superCommutative_ForHomalg = superCommutative; } else { if ( defined(SuperCommutative) == 1 ) // the old name of the SCA constructor { proc superCommutative_ForHomalg = SuperCommutative; } } proc CoefficientsOfUnreducedNumeratorOfWeightedHilbertPoincareSeries (module m,weights,degrees) { module M = std(m); attrib(M,"isHomog",degrees); return(hilb(M,1,weights)); } proc PrimaryDecomposition (matrix m) { return(primdecSY(m)) } ring homalg_variable_1 = 0,dummy_variable,dp; setring homalg_variable_1; short=0;option(redTail); proc Involution (matrix m) { return(transpose(m)); } ring homalg_variable_2 = (0),(x,y,z),dp; setring homalg_variable_2; short=0;option(redTail); proc Involution (matrix m) { return(transpose(m)); } 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 ; homalg_variable_3 = transpose(homalg_variable_3); matrix homalg_variable_4 = BasisOfRowModule(homalg_variable_3); ncols(homalg_variable_4); homalg_variable_4==homalg_variable_3; matrix homalg_variable_5 = SyzygiesGeneratorsOfRows(homalg_variable_4); IsZeroMatrix(homalg_variable_5); ncols(homalg_variable_5); GetColumnIndependentUnitPositions(homalg_variable_5, list ( 0 )); matrix homalg_variable_7 = Involution(homalg_variable_4); matrix homalg_variable_6 = BasisOfColumnModule(homalg_variable_7); nrows(homalg_variable_6); homalg_variable_6==homalg_variable_7; matrix homalg_variable_9[5][5] = unitmat(5); matrix homalg_variable_8 = DecideZeroColumns(homalg_variable_9,homalg_variable_6); IsZeroMatrix(homalg_variable_8); ZeroColumns(homalg_variable_8); IsIdentityMatrix(homalg_variable_8); matrix homalg_variable_10 = SyzygiesGeneratorsOfColumns(homalg_variable_4); IsZeroMatrix(homalg_variable_10); nrows(homalg_variable_10); matrix homalg_variable_11 = ReducedSyzygiesGeneratorsOfRows(homalg_variable_10); IsZeroMatrix(homalg_variable_11); ncols(homalg_variable_11); matrix homalg_variable_12 = DecideZeroRows(homalg_variable_11,homalg_variable_4); IsZeroMatrix(homalg_variable_12); ZeroRows(homalg_variable_12); 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 ; homalg_variable_13 = transpose(homalg_variable_13); matrix homalg_variable_14 = ReducedSyzygiesGeneratorsOfRows(homalg_variable_4); IsZeroMatrix(homalg_variable_14); ncols(homalg_variable_14); matrix homalg_variable_15 = ReducedSyzygiesGeneratorsOfRows(homalg_variable_14); IsZeroMatrix(homalg_variable_15); ncols(homalg_variable_15); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_15); matrix homalg_variable_16 = homalg_variable_l[1]; matrix homalg_variable_17 = homalg_variable_l[2]; nrows(homalg_variable_16); matrix homalg_variable_18[1][1] = unitmat(1); 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]; IsZeroMatrix(homalg_variable_19); matrix homalg_variable_21 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_4); IsZeroMatrix(homalg_variable_21); nrows(homalg_variable_21); ZeroColumns(homalg_variable_21); matrix homalg_variable_22 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_14); IsZeroMatrix(homalg_variable_22); nrows(homalg_variable_22); matrix homalg_variable_23 = BasisOfColumnModule(homalg_variable_4); nrows(homalg_variable_23); homalg_variable_23==homalg_variable_4; matrix homalg_variable_24 = DecideZeroColumns(homalg_variable_22,homalg_variable_23); IsZeroMatrix(homalg_variable_24); ZeroColumns(homalg_variable_24); matrix homalg_variable_25 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_15); IsZeroMatrix(homalg_variable_25); nrows(homalg_variable_25); matrix homalg_variable_26 = BasisOfColumnModule(homalg_variable_14); nrows(homalg_variable_26); homalg_variable_26==homalg_variable_14; matrix homalg_variable_27 = DecideZeroColumns(homalg_variable_25,homalg_variable_26); IsZeroMatrix(homalg_variable_27); ZeroColumns(homalg_variable_27); matrix homalg_variable_28 = SyzygiesGeneratorsOfColumns(homalg_variable_21); IsZeroMatrix(homalg_variable_28); matrix homalg_variable_29 = RelativeSyzygiesGeneratorsOfColumns(homalg_variable_24,homalg_variable_23); IsZeroMatrix(homalg_variable_29); nrows(homalg_variable_29); matrix homalg_variable_30 = BasisOfColumnModule(homalg_variable_29); nrows(homalg_variable_30); homalg_variable_30==homalg_variable_29; matrix homalg_variable_31 = SyzygiesGeneratorsOfColumns(homalg_variable_30); IsZeroMatrix(homalg_variable_31); nrows(homalg_variable_31); GetRowIndependentUnitPositions(homalg_variable_31, list ( 0 )); matrix homalg_variable_33 = submat(homalg_variable_30,intvec( 1, 3, 4, 5, 6 ),1..4); matrix homalg_variable_32 = SyzygiesGeneratorsOfColumns(homalg_variable_33); IsZeroMatrix(homalg_variable_32); nrows(homalg_variable_32); GetRowIndependentUnitPositions(homalg_variable_32, list ( 0 )); matrix homalg_variable_34 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_33); IsZeroMatrix(homalg_variable_34); nrows(homalg_variable_34); matrix homalg_variable_36 = submat(homalg_variable_27,intvec( 1, 4 ),1..4); matrix homalg_variable_35 = RelativeSyzygiesGeneratorsOfColumns(homalg_variable_36,homalg_variable_26); IsZeroMatrix(homalg_variable_35); nrows(homalg_variable_35); matrix homalg_variable_37 = BasisOfColumnModule(homalg_variable_35); nrows(homalg_variable_37); homalg_variable_37==homalg_variable_35; matrix homalg_variable_38 = SyzygiesGeneratorsOfColumns(homalg_variable_37); IsZeroMatrix(homalg_variable_38); nrows(homalg_variable_38); GetRowIndependentUnitPositions(homalg_variable_38, list ( 0 )); matrix homalg_variable_40 = submat(homalg_variable_37,intvec( 1, 3, 4, 5 ),1..2); matrix homalg_variable_39 = SyzygiesGeneratorsOfColumns(homalg_variable_40); IsZeroMatrix(homalg_variable_39); nrows(homalg_variable_39); GetRowIndependentUnitPositions(homalg_variable_39, list ( 0 )); matrix homalg_variable_41 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_40); IsZeroMatrix(homalg_variable_41); nrows(homalg_variable_41); matrix homalg_variable_42 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_41); IsZeroMatrix(homalg_variable_42); nrows(homalg_variable_42); matrix homalg_variable_43 = SyzygiesGeneratorsOfColumns(homalg_variable_16); IsZeroMatrix(homalg_variable_43); nrows(homalg_variable_43); GetRowIndependentUnitPositions(homalg_variable_43, list ( 0 )); matrix homalg_variable_44 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_16); IsZeroMatrix(homalg_variable_44); nrows(homalg_variable_44); matrix homalg_variable_45 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_44); IsZeroMatrix(homalg_variable_45); nrows(homalg_variable_45); ZeroColumns(homalg_variable_4); matrix homalg_variable_46 = BasisOfColumnModule(homalg_variable_10); nrows(homalg_variable_46); homalg_variable_46==homalg_variable_10; matrix homalg_variable_47 = SyzygiesGeneratorsOfColumns(homalg_variable_46); IsZeroMatrix(homalg_variable_47); matrix homalg_variable_49[7][5] = homalg_variable_21,homalg_variable_9; matrix homalg_variable_48 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_49); IsZeroMatrix(homalg_variable_48); nrows(homalg_variable_48); ZeroColumns(homalg_variable_48); ZeroColumns(homalg_variable_46); matrix homalg_variable_50 = submat(homalg_variable_48,1..2,intvec( 3, 4, 5, 6, 7 )); 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]; IsZeroMatrix(homalg_variable_51); matrix homalg_variable_53 = homalg_variable_52*(-1); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_53); matrix homalg_variable_54 = homalg_variable_l[1]; matrix homalg_variable_55 = homalg_variable_l[2]; nrows(homalg_variable_54); IsIdentityMatrix(homalg_variable_54); ncols(homalg_variable_55); matrix homalg_variable_57 = homalg_variable_55*homalg_variable_48; matrix homalg_variable_56 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_57); IsZeroMatrix(homalg_variable_56); ZeroColumns(homalg_variable_22); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_22); matrix homalg_variable_58 = homalg_variable_l[1]; matrix homalg_variable_59 = homalg_variable_l[2]; nrows(homalg_variable_58); 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]; IsZeroMatrix(homalg_variable_60); ncols(homalg_variable_59); matrix homalg_variable_62[9][6] = homalg_variable_24,homalg_variable_23; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_62); matrix homalg_variable_63 = homalg_variable_l[1]; matrix homalg_variable_64 = homalg_variable_l[2]; nrows(homalg_variable_63); 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]; IsZeroMatrix(homalg_variable_65); ncols(homalg_variable_64); matrix homalg_variable_68 = homalg_variable_66*(-1); matrix homalg_variable_69 = submat(homalg_variable_64,1..4,intvec( 1, 2, 3, 4 )); matrix homalg_variable_70 = homalg_variable_68*homalg_variable_69; matrix homalg_variable_67 = DecideZeroColumns(homalg_variable_70,homalg_variable_30); IsZeroMatrix(homalg_variable_67); matrix homalg_variable_71[11][4] = homalg_variable_67,homalg_variable_30; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_71); matrix homalg_variable_72 = homalg_variable_l[1]; matrix homalg_variable_73 = homalg_variable_l[2]; nrows(homalg_variable_72); matrix homalg_variable_75[4][4] = unitmat(4); matrix homalg_variable_74 = DecideZeroColumns(homalg_variable_75,homalg_variable_30); IsZeroMatrix(homalg_variable_74); IsIdentityMatrix(homalg_variable_72); ncols(homalg_variable_73); matrix homalg_variable_76 = SyzygiesGeneratorsOfColumns(homalg_variable_22); IsZeroMatrix(homalg_variable_76); nrows(homalg_variable_76); matrix homalg_variable_78 = homalg_variable_61*(-1); matrix homalg_variable_79 = homalg_variable_78*homalg_variable_59; matrix homalg_variable_80 = submat(homalg_variable_73,1..4,intvec( 1, 2, 3, 4 )); matrix homalg_variable_81 = homalg_variable_74*homalg_variable_80; matrix homalg_variable_82[9][4] = homalg_variable_79,homalg_variable_81; matrix homalg_variable_77 = RelativeSyzygiesGeneratorsOfColumns(homalg_variable_82,homalg_variable_76); IsZeroMatrix(homalg_variable_77); nrows(homalg_variable_77); matrix homalg_variable_83 = SyzygiesGeneratorsOfColumns(homalg_variable_77); IsZeroMatrix(homalg_variable_83); nrows(homalg_variable_83); GetRowIndependentUnitPositions(homalg_variable_83, list ( 0 )); matrix homalg_variable_85 = submat(homalg_variable_77,intvec( 1, 3, 5, 6, 7, 8 ),1..9); matrix homalg_variable_84 = SyzygiesGeneratorsOfColumns(homalg_variable_85); IsZeroMatrix(homalg_variable_84); ZeroColumns(homalg_variable_85); ZeroColumns(homalg_variable_33); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_33); matrix homalg_variable_86 = homalg_variable_l[1]; matrix homalg_variable_87 = homalg_variable_l[2]; nrows(homalg_variable_86); matrix homalg_variable_88 = submat(homalg_variable_85,1..6,intvec( 6, 7, 8, 9 )); 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]; IsZeroMatrix(homalg_variable_89); ncols(homalg_variable_87); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_85); matrix homalg_variable_91 = homalg_variable_l[1]; matrix homalg_variable_92 = homalg_variable_l[2]; nrows(homalg_variable_91); IsIdentityMatrix(homalg_variable_91); matrix homalg_variable_93[2][4] = 0; matrix homalg_variable_94[2][9] = concat(homalg_variable_46,homalg_variable_93); 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]; IsZeroMatrix(homalg_variable_95); ncols(homalg_variable_92); matrix homalg_variable_97 = BasisOfColumnModule(homalg_variable_32); nrows(homalg_variable_97); homalg_variable_97==homalg_variable_32; matrix homalg_variable_99 = homalg_variable_90*(-1); matrix homalg_variable_100 = homalg_variable_99*homalg_variable_87; matrix homalg_variable_98 = DecideZeroColumns(homalg_variable_100,homalg_variable_97); IsZeroMatrix(homalg_variable_98); matrix homalg_variable_101[7][5] = homalg_variable_98,homalg_variable_97; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_101); matrix homalg_variable_102 = homalg_variable_l[1]; matrix homalg_variable_103 = homalg_variable_l[2]; nrows(homalg_variable_102); matrix homalg_variable_104 = DecideZeroColumns(homalg_variable_9,homalg_variable_97); IsZeroMatrix(homalg_variable_104); IsIdentityMatrix(homalg_variable_102); ncols(homalg_variable_103); matrix homalg_variable_106 = homalg_variable_96*(-1); matrix homalg_variable_107 = homalg_variable_106*homalg_variable_92; matrix homalg_variable_108 = homalg_variable_107*homalg_variable_85; matrix homalg_variable_109 = submat(homalg_variable_103,1..5,intvec( 1, 2, 3, 4, 5, 6 )); matrix homalg_variable_110 = homalg_variable_104*homalg_variable_109; matrix homalg_variable_111 = homalg_variable_110*homalg_variable_85; matrix homalg_variable_112[7][9] = homalg_variable_108,homalg_variable_111; matrix homalg_variable_105 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_112); IsZeroMatrix(homalg_variable_105); nrows(homalg_variable_105); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_34); matrix homalg_variable_113 = homalg_variable_l[1]; matrix homalg_variable_114 = homalg_variable_l[2]; nrows(homalg_variable_113); matrix homalg_variable_115 = submat(homalg_variable_105,1..1,intvec( 3, 4, 5, 6, 7 )); 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]; IsZeroMatrix(homalg_variable_116); ncols(homalg_variable_114); matrix homalg_variable_118 = homalg_variable_117*(-1); matrix homalg_variable_119 = homalg_variable_118*homalg_variable_114; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_119); matrix homalg_variable_120 = homalg_variable_l[1]; matrix homalg_variable_121 = homalg_variable_l[2]; nrows(homalg_variable_120); IsIdentityMatrix(homalg_variable_120); ncols(homalg_variable_121); matrix homalg_variable_123 = homalg_variable_121*homalg_variable_105; matrix homalg_variable_122 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_123); IsZeroMatrix(homalg_variable_122); ZeroColumns(homalg_variable_14); matrix homalg_variable_124 = submat(homalg_variable_14,intvec( 1, 3, 4, 5, 6 ),1..4); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_124); matrix homalg_variable_125 = homalg_variable_l[1]; matrix homalg_variable_126 = homalg_variable_l[2]; nrows(homalg_variable_125); 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]; IsZeroMatrix(homalg_variable_127); ncols(homalg_variable_126); matrix homalg_variable_129 = SyzygiesGeneratorsOfColumns(homalg_variable_124); IsZeroMatrix(homalg_variable_129); nrows(homalg_variable_129); matrix homalg_variable_130 = BasisOfColumnModule(homalg_variable_129); nrows(homalg_variable_130); homalg_variable_130==homalg_variable_129; matrix homalg_variable_131 = SyzygiesGeneratorsOfColumns(homalg_variable_130); IsZeroMatrix(homalg_variable_131); nrows(homalg_variable_131); GetRowIndependentUnitPositions(homalg_variable_131, list ( 0 )); matrix homalg_variable_132 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_130); IsZeroMatrix(homalg_variable_132); nrows(homalg_variable_132); matrix homalg_variable_134 = homalg_variable_128*(-1); matrix homalg_variable_135 = homalg_variable_134*homalg_variable_126; matrix homalg_variable_133 = DecideZeroColumns(homalg_variable_135,homalg_variable_130); IsZeroMatrix(homalg_variable_133); matrix homalg_variable_136[9][5] = homalg_variable_133,homalg_variable_130; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_136); matrix homalg_variable_137 = homalg_variable_l[1]; matrix homalg_variable_138 = homalg_variable_l[2]; nrows(homalg_variable_137); matrix homalg_variable_139 = DecideZeroColumns(homalg_variable_9,homalg_variable_130); IsZeroMatrix(homalg_variable_139); IsIdentityMatrix(homalg_variable_137); ncols(homalg_variable_138); matrix homalg_variable_141 = homalg_variable_79*homalg_variable_22; matrix homalg_variable_142 = homalg_variable_81*homalg_variable_22; matrix homalg_variable_143[9][6] = homalg_variable_141,homalg_variable_142; matrix homalg_variable_144 = submat(homalg_variable_138,1..5,intvec( 1, 2, 3, 4, 5, 6 )); matrix homalg_variable_145 = homalg_variable_139*homalg_variable_144; matrix homalg_variable_146[14][6] = homalg_variable_143,homalg_variable_145; matrix homalg_variable_140 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_146); IsZeroMatrix(homalg_variable_140); nrows(homalg_variable_140); ZeroColumns(homalg_variable_140); ZeroColumns(homalg_variable_130); IsZeroMatrix(homalg_variable_108); ZeroColumns(homalg_variable_112); matrix homalg_variable_147 = submat(homalg_variable_140,1..8,intvec( 10, 11, 12, 13, 14 )); 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]; IsZeroMatrix(homalg_variable_148); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_140); matrix homalg_variable_150 = homalg_variable_l[1]; matrix homalg_variable_151 = homalg_variable_l[2]; nrows(homalg_variable_150); matrix homalg_variable_152[2][5] = 0; matrix homalg_variable_153[2][14] = concat(homalg_variable_108,homalg_variable_152); matrix homalg_variable_154[5][5] = 0; matrix homalg_variable_155[5][14] = concat(homalg_variable_111,homalg_variable_154); matrix homalg_variable_156[7][14] = homalg_variable_153,homalg_variable_155; 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]; IsZeroMatrix(homalg_variable_157); ncols(homalg_variable_151); matrix homalg_variable_159 = BasisOfColumnModule(homalg_variable_131); nrows(homalg_variable_159); homalg_variable_159==homalg_variable_131; matrix homalg_variable_161 = homalg_variable_149*(-1); matrix homalg_variable_160 = DecideZeroColumns(homalg_variable_161,homalg_variable_159); IsZeroMatrix(homalg_variable_160); matrix homalg_variable_162[9][3] = homalg_variable_160,homalg_variable_159; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_162); matrix homalg_variable_163 = homalg_variable_l[1]; matrix homalg_variable_164 = homalg_variable_l[2]; nrows(homalg_variable_163); matrix homalg_variable_166[3][3] = unitmat(3); matrix homalg_variable_165 = DecideZeroColumns(homalg_variable_166,homalg_variable_159); IsZeroMatrix(homalg_variable_165); IsIdentityMatrix(homalg_variable_163); ncols(homalg_variable_164); matrix homalg_variable_168 = homalg_variable_158*(-1); matrix homalg_variable_169 = homalg_variable_168*homalg_variable_151; matrix homalg_variable_170 = homalg_variable_169*homalg_variable_140; matrix homalg_variable_171 = submat(homalg_variable_164,1..3,intvec( 1, 2, 3, 4, 5, 6, 7, 8 )); matrix homalg_variable_172 = homalg_variable_165*homalg_variable_171; matrix homalg_variable_173 = homalg_variable_172*homalg_variable_140; matrix homalg_variable_174[10][14] = homalg_variable_170,homalg_variable_173; matrix homalg_variable_167 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_174); IsZeroMatrix(homalg_variable_167); nrows(homalg_variable_167); ZeroColumns(homalg_variable_167); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_132); matrix homalg_variable_175 = homalg_variable_l[1]; matrix homalg_variable_176 = homalg_variable_l[2]; nrows(homalg_variable_175); matrix homalg_variable_177 = submat(homalg_variable_167,1..2,intvec( 8, 9, 10 )); 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]; IsZeroMatrix(homalg_variable_178); ncols(homalg_variable_176); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_167); matrix homalg_variable_180 = homalg_variable_l[1]; matrix homalg_variable_181 = homalg_variable_l[2]; nrows(homalg_variable_180); matrix homalg_variable_182[1][3] = 0; matrix homalg_variable_183[1][10] = concat(homalg_variable_123,homalg_variable_182); 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]; IsZeroMatrix(homalg_variable_184); ncols(homalg_variable_181); matrix homalg_variable_186 = homalg_variable_179*(-1); matrix homalg_variable_187 = homalg_variable_186*homalg_variable_176; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_187); matrix homalg_variable_188 = homalg_variable_l[1]; matrix homalg_variable_189 = homalg_variable_l[2]; nrows(homalg_variable_188); IsIdentityMatrix(homalg_variable_188); ncols(homalg_variable_189); matrix homalg_variable_191 = homalg_variable_185*(-1); matrix homalg_variable_192 = homalg_variable_191*homalg_variable_181; matrix homalg_variable_193 = homalg_variable_192*homalg_variable_167; matrix homalg_variable_194 = homalg_variable_189*homalg_variable_167; matrix homalg_variable_195[2][10] = homalg_variable_193,homalg_variable_194; matrix homalg_variable_190 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_195); IsZeroMatrix(homalg_variable_190); ZeroColumns(homalg_variable_25); IsIdentityMatrix(homalg_variable_25); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_25); matrix homalg_variable_196 = homalg_variable_l[1]; matrix homalg_variable_197 = homalg_variable_l[2]; nrows(homalg_variable_196); IsIdentityMatrix(homalg_variable_196); 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]; IsZeroMatrix(homalg_variable_198); ncols(homalg_variable_197); matrix homalg_variable_200 = DecideZeroColumns(homalg_variable_36,homalg_variable_26); IsZeroMatrix(homalg_variable_200); matrix homalg_variable_201[8][4] = homalg_variable_200,homalg_variable_26; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_201); matrix homalg_variable_202 = homalg_variable_l[1]; matrix homalg_variable_203 = homalg_variable_l[2]; nrows(homalg_variable_202); IsIdentityMatrix(homalg_variable_202); 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]; IsZeroMatrix(homalg_variable_204); ncols(homalg_variable_203); matrix homalg_variable_207 = homalg_variable_205*(-1); matrix homalg_variable_208 = submat(homalg_variable_203,1..4,intvec( 1, 2 )); matrix homalg_variable_209 = homalg_variable_207*homalg_variable_208; matrix homalg_variable_206 = DecideZeroColumns(homalg_variable_209,homalg_variable_37); IsZeroMatrix(homalg_variable_206); matrix homalg_variable_210[9][2] = homalg_variable_206,homalg_variable_37; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_210); matrix homalg_variable_211 = homalg_variable_l[1]; matrix homalg_variable_212 = homalg_variable_l[2]; nrows(homalg_variable_211); matrix homalg_variable_214[2][2] = unitmat(2); matrix homalg_variable_213 = DecideZeroColumns(homalg_variable_214,homalg_variable_37); IsZeroMatrix(homalg_variable_213); IsIdentityMatrix(homalg_variable_211); ncols(homalg_variable_212); matrix homalg_variable_215 = SyzygiesGeneratorsOfColumns(homalg_variable_25); IsZeroMatrix(homalg_variable_215); nrows(homalg_variable_215); matrix homalg_variable_217 = homalg_variable_199*(-1); matrix homalg_variable_218 = homalg_variable_217*homalg_variable_197; matrix homalg_variable_219 = submat(homalg_variable_212,1..2,intvec( 1, 2, 3, 4 )); matrix homalg_variable_220 = homalg_variable_213*homalg_variable_219; matrix homalg_variable_221[7][4] = homalg_variable_218,homalg_variable_220; matrix homalg_variable_216 = RelativeSyzygiesGeneratorsOfColumns(homalg_variable_221,homalg_variable_215); IsZeroMatrix(homalg_variable_216); nrows(homalg_variable_216); matrix homalg_variable_222 = SyzygiesGeneratorsOfColumns(homalg_variable_216); IsZeroMatrix(homalg_variable_222); nrows(homalg_variable_222); GetRowIndependentUnitPositions(homalg_variable_222, list ( 0 )); matrix homalg_variable_224 = submat(homalg_variable_216,intvec( 1, 3, 4, 5 ),1..7); matrix homalg_variable_223 = SyzygiesGeneratorsOfColumns(homalg_variable_224); IsZeroMatrix(homalg_variable_223); ZeroColumns(homalg_variable_224); ZeroColumns(homalg_variable_40); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_40); matrix homalg_variable_225 = homalg_variable_l[1]; matrix homalg_variable_226 = homalg_variable_l[2]; nrows(homalg_variable_225); matrix homalg_variable_227 = submat(homalg_variable_224,1..4,intvec( 6, 7 )); 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]; IsZeroMatrix(homalg_variable_228); ncols(homalg_variable_226); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_224); matrix homalg_variable_230 = homalg_variable_l[1]; matrix homalg_variable_231 = homalg_variable_l[2]; nrows(homalg_variable_230); matrix homalg_variable_232[3][2] = 0; matrix homalg_variable_233[3][7] = concat(homalg_variable_130,homalg_variable_232); 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]; IsZeroMatrix(homalg_variable_234); ncols(homalg_variable_231); matrix homalg_variable_236 = BasisOfColumnModule(homalg_variable_39); nrows(homalg_variable_236); homalg_variable_236==homalg_variable_39; matrix homalg_variable_238 = homalg_variable_229*(-1); matrix homalg_variable_239 = homalg_variable_238*homalg_variable_226; matrix homalg_variable_237 = DecideZeroColumns(homalg_variable_239,homalg_variable_236); IsZeroMatrix(homalg_variable_237); matrix homalg_variable_240[7][4] = homalg_variable_237,homalg_variable_236; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_240); matrix homalg_variable_241 = homalg_variable_l[1]; matrix homalg_variable_242 = homalg_variable_l[2]; nrows(homalg_variable_241); matrix homalg_variable_243 = DecideZeroColumns(homalg_variable_75,homalg_variable_236); IsZeroMatrix(homalg_variable_243); IsIdentityMatrix(homalg_variable_241); ncols(homalg_variable_242); matrix homalg_variable_245 = homalg_variable_235*(-1); matrix homalg_variable_246 = homalg_variable_245*homalg_variable_231; matrix homalg_variable_247 = homalg_variable_246*homalg_variable_224; matrix homalg_variable_248 = submat(homalg_variable_242,1..4,intvec( 1, 2, 3, 4 )); matrix homalg_variable_249 = homalg_variable_243*homalg_variable_248; matrix homalg_variable_250 = homalg_variable_249*homalg_variable_224; matrix homalg_variable_251[7][7] = homalg_variable_247,homalg_variable_250; matrix homalg_variable_244 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_251); IsZeroMatrix(homalg_variable_244); nrows(homalg_variable_244); ZeroColumns(homalg_variable_244); ZeroColumns(homalg_variable_41); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_41); matrix homalg_variable_252 = homalg_variable_l[1]; matrix homalg_variable_253 = homalg_variable_l[2]; nrows(homalg_variable_252); matrix homalg_variable_254 = submat(homalg_variable_244,1..3,intvec( 4, 5, 6, 7 )); 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]; IsZeroMatrix(homalg_variable_255); ncols(homalg_variable_253); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_244); matrix homalg_variable_257 = homalg_variable_l[1]; matrix homalg_variable_258 = homalg_variable_l[2]; nrows(homalg_variable_257); matrix homalg_variable_259[1][4] = 0; matrix homalg_variable_260[1][7] = concat(homalg_variable_132,homalg_variable_259); 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]; IsZeroMatrix(homalg_variable_261); ncols(homalg_variable_258); matrix homalg_variable_263 = SyzygiesGeneratorsOfColumns(homalg_variable_41); IsZeroMatrix(homalg_variable_263); nrows(homalg_variable_263); matrix homalg_variable_264 = BasisOfColumnModule(homalg_variable_263); nrows(homalg_variable_264); homalg_variable_264==homalg_variable_263; matrix homalg_variable_266 = homalg_variable_256*(-1); matrix homalg_variable_267 = homalg_variable_266*homalg_variable_253; matrix homalg_variable_265 = DecideZeroColumns(homalg_variable_267,homalg_variable_264); IsZeroMatrix(homalg_variable_265); matrix homalg_variable_268[4][3] = homalg_variable_265,homalg_variable_264; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_268); matrix homalg_variable_269 = homalg_variable_l[1]; matrix homalg_variable_270 = homalg_variable_l[2]; nrows(homalg_variable_269); matrix homalg_variable_271 = DecideZeroColumns(homalg_variable_166,homalg_variable_264); IsZeroMatrix(homalg_variable_271); IsIdentityMatrix(homalg_variable_269); ncols(homalg_variable_270); matrix homalg_variable_273 = homalg_variable_262*(-1); matrix homalg_variable_274 = homalg_variable_273*homalg_variable_258; matrix homalg_variable_275 = homalg_variable_274*homalg_variable_244; matrix homalg_variable_276 = submat(homalg_variable_270,1..3,intvec( 1, 2, 3 )); matrix homalg_variable_277 = homalg_variable_271*homalg_variable_276; matrix homalg_variable_278 = homalg_variable_277*homalg_variable_244; matrix homalg_variable_279[4][7] = homalg_variable_275,homalg_variable_278; matrix homalg_variable_272 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_279); IsZeroMatrix(homalg_variable_272); nrows(homalg_variable_272); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_42); matrix homalg_variable_280 = homalg_variable_l[1]; matrix homalg_variable_281 = homalg_variable_l[2]; nrows(homalg_variable_280); matrix homalg_variable_282 = submat(homalg_variable_272,1..1,intvec( 2, 3, 4 )); 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]; IsZeroMatrix(homalg_variable_283); ncols(homalg_variable_281); matrix homalg_variable_285 = homalg_variable_284*(-1); matrix homalg_variable_286 = homalg_variable_285*homalg_variable_281; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_286); matrix homalg_variable_287 = homalg_variable_l[1]; matrix homalg_variable_288 = homalg_variable_l[2]; nrows(homalg_variable_287); IsIdentityMatrix(homalg_variable_287); ncols(homalg_variable_288); ZeroColumns(homalg_variable_15); matrix homalg_variable_289 = submat(homalg_variable_15,intvec( 2, 3, 4 ),1..1); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_289); matrix homalg_variable_290 = homalg_variable_l[1]; matrix homalg_variable_291 = homalg_variable_l[2]; nrows(homalg_variable_290); 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]; IsZeroMatrix(homalg_variable_292); ncols(homalg_variable_291); matrix homalg_variable_294 = SyzygiesGeneratorsOfColumns(homalg_variable_289); IsZeroMatrix(homalg_variable_294); nrows(homalg_variable_294); matrix homalg_variable_295 = BasisOfColumnModule(homalg_variable_294); nrows(homalg_variable_295); homalg_variable_295==homalg_variable_294; matrix homalg_variable_296 = SyzygiesGeneratorsOfColumns(homalg_variable_295); IsZeroMatrix(homalg_variable_296); nrows(homalg_variable_296); GetRowIndependentUnitPositions(homalg_variable_296, list ( 0 )); matrix homalg_variable_297 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_295); IsZeroMatrix(homalg_variable_297); nrows(homalg_variable_297); matrix homalg_variable_299 = homalg_variable_288*homalg_variable_272; matrix homalg_variable_298 = SyzygiesGeneratorsOfColumns(homalg_variable_299); IsZeroMatrix(homalg_variable_298); matrix homalg_variable_301 = homalg_variable_293*(-1); matrix homalg_variable_302 = homalg_variable_301*homalg_variable_291; matrix homalg_variable_300 = DecideZeroColumns(homalg_variable_302,homalg_variable_295); IsZeroMatrix(homalg_variable_300); matrix homalg_variable_303[7][3] = homalg_variable_300,homalg_variable_295; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_303); matrix homalg_variable_304 = homalg_variable_l[1]; matrix homalg_variable_305 = homalg_variable_l[2]; nrows(homalg_variable_304); matrix homalg_variable_306 = DecideZeroColumns(homalg_variable_166,homalg_variable_295); IsZeroMatrix(homalg_variable_306); IsIdentityMatrix(homalg_variable_304); ncols(homalg_variable_305); matrix homalg_variable_308 = homalg_variable_218*homalg_variable_25; matrix homalg_variable_309 = homalg_variable_220*homalg_variable_25; matrix homalg_variable_310[7][4] = homalg_variable_308,homalg_variable_309; matrix homalg_variable_311 = submat(homalg_variable_305,1..3,intvec( 1, 2, 3, 4 )); matrix homalg_variable_312 = homalg_variable_306*homalg_variable_311; matrix homalg_variable_313[10][4] = homalg_variable_310,homalg_variable_312; matrix homalg_variable_307 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_313); IsZeroMatrix(homalg_variable_307); nrows(homalg_variable_307); ZeroColumns(homalg_variable_307); ZeroColumns(homalg_variable_295); IsIdentityMatrix(homalg_variable_295); IsZeroMatrix(homalg_variable_247); ZeroColumns(homalg_variable_251); IsIdentityMatrix(homalg_variable_251); matrix homalg_variable_314 = submat(homalg_variable_307,1..6,intvec( 8, 9, 10 )); 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]; IsZeroMatrix(homalg_variable_315); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_307); matrix homalg_variable_317 = homalg_variable_l[1]; matrix homalg_variable_318 = homalg_variable_l[2]; nrows(homalg_variable_317); matrix homalg_variable_319[3][3] = 0; matrix homalg_variable_320[3][10] = concat(homalg_variable_247,homalg_variable_319); matrix homalg_variable_321[4][3] = 0; matrix homalg_variable_322[4][10] = concat(homalg_variable_250,homalg_variable_321); matrix homalg_variable_323[7][10] = homalg_variable_320,homalg_variable_322; 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]; IsZeroMatrix(homalg_variable_324); ncols(homalg_variable_318); matrix homalg_variable_326 = BasisOfColumnModule(homalg_variable_296); nrows(homalg_variable_326); homalg_variable_326==homalg_variable_296; matrix homalg_variable_328 = homalg_variable_316*(-1); matrix homalg_variable_327 = DecideZeroColumns(homalg_variable_328,homalg_variable_326); IsZeroMatrix(homalg_variable_327); matrix homalg_variable_329[7][3] = homalg_variable_327,homalg_variable_326; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_329); matrix homalg_variable_330 = homalg_variable_l[1]; matrix homalg_variable_331 = homalg_variable_l[2]; nrows(homalg_variable_330); matrix homalg_variable_332 = DecideZeroColumns(homalg_variable_166,homalg_variable_326); IsZeroMatrix(homalg_variable_332); IsIdentityMatrix(homalg_variable_330); ncols(homalg_variable_331); matrix homalg_variable_334 = homalg_variable_325*(-1); matrix homalg_variable_335 = homalg_variable_334*homalg_variable_318; matrix homalg_variable_336 = homalg_variable_335*homalg_variable_307; matrix homalg_variable_337 = submat(homalg_variable_331,1..3,intvec( 1, 2, 3, 4, 5, 6 )); matrix homalg_variable_338 = homalg_variable_332*homalg_variable_337; matrix homalg_variable_339 = homalg_variable_338*homalg_variable_307; matrix homalg_variable_340[10][10] = homalg_variable_336,homalg_variable_339; matrix homalg_variable_333 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_340); IsZeroMatrix(homalg_variable_333); nrows(homalg_variable_333); ZeroColumns(homalg_variable_333); IsZeroMatrix(homalg_variable_275); ZeroColumns(homalg_variable_279); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_297); matrix homalg_variable_341 = homalg_variable_l[1]; matrix homalg_variable_342 = homalg_variable_l[2]; nrows(homalg_variable_341); matrix homalg_variable_343 = submat(homalg_variable_333,1..4,intvec( 8, 9, 10 )); 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]; IsZeroMatrix(homalg_variable_344); ncols(homalg_variable_342); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_333); matrix homalg_variable_346 = homalg_variable_l[1]; matrix homalg_variable_347 = homalg_variable_l[2]; nrows(homalg_variable_346); matrix homalg_variable_348[1][3] = 0; matrix homalg_variable_349[1][10] = concat(homalg_variable_275,homalg_variable_348); matrix homalg_variable_350[3][3] = 0; matrix homalg_variable_351[3][10] = concat(homalg_variable_278,homalg_variable_350); matrix homalg_variable_352[4][10] = homalg_variable_349,homalg_variable_351; 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]; IsZeroMatrix(homalg_variable_353); ncols(homalg_variable_347); matrix homalg_variable_355 = homalg_variable_345*(-1); matrix homalg_variable_356 = homalg_variable_355*homalg_variable_342; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_356); matrix homalg_variable_357 = homalg_variable_l[1]; matrix homalg_variable_358 = homalg_variable_l[2]; nrows(homalg_variable_357); IsIdentityMatrix(homalg_variable_357); ncols(homalg_variable_358); matrix homalg_variable_360 = homalg_variable_354*(-1); matrix homalg_variable_361 = homalg_variable_360*homalg_variable_347; matrix homalg_variable_362 = homalg_variable_361*homalg_variable_333; matrix homalg_variable_363 = homalg_variable_358*homalg_variable_333; matrix homalg_variable_364[5][10] = homalg_variable_362,homalg_variable_363; matrix homalg_variable_359 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_364); IsZeroMatrix(homalg_variable_359); nrows(homalg_variable_359); matrix homalg_variable_365 = submat(homalg_variable_359,1..1,intvec( 5 )); IsZeroMatrix(homalg_variable_365); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_359); matrix homalg_variable_366 = homalg_variable_l[1]; matrix homalg_variable_367 = homalg_variable_l[2]; nrows(homalg_variable_366); matrix homalg_variable_368[1][1] = 0; matrix homalg_variable_369[1][5] = concat(homalg_variable_299,homalg_variable_368); 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]; IsZeroMatrix(homalg_variable_370); ncols(homalg_variable_367); matrix homalg_variable_373[1][1] = unitmat(1); matrix homalg_variable_374[4][1] = homalg_variable_289,homalg_variable_373; matrix homalg_variable_372 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_374); IsZeroMatrix(homalg_variable_372); nrows(homalg_variable_372); ZeroColumns(homalg_variable_372); ZeroColumns(homalg_variable_16); matrix homalg_variable_375 = submat(homalg_variable_372,1..3,intvec( 4 )); 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]; IsZeroMatrix(homalg_variable_376); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_372); matrix homalg_variable_378 = homalg_variable_l[1]; matrix homalg_variable_379 = homalg_variable_l[2]; nrows(homalg_variable_378); matrix homalg_variable_380[3][1] = 0; matrix homalg_variable_381[3][4] = concat(homalg_variable_295,homalg_variable_380); 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]; IsZeroMatrix(homalg_variable_382); ncols(homalg_variable_379); matrix homalg_variable_384 = BasisOfColumnModule(homalg_variable_43); nrows(homalg_variable_384); homalg_variable_384==homalg_variable_43; matrix homalg_variable_386 = homalg_variable_377*(-1); matrix homalg_variable_385 = DecideZeroColumns(homalg_variable_386,homalg_variable_384); IsZeroMatrix(homalg_variable_385); matrix homalg_variable_387[6][3] = homalg_variable_385,homalg_variable_384; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_387); matrix homalg_variable_388 = homalg_variable_l[1]; matrix homalg_variable_389 = homalg_variable_l[2]; nrows(homalg_variable_388); matrix homalg_variable_390 = DecideZeroColumns(homalg_variable_166,homalg_variable_384); IsZeroMatrix(homalg_variable_390); IsIdentityMatrix(homalg_variable_388); ncols(homalg_variable_389); matrix homalg_variable_392 = homalg_variable_383*(-1); matrix homalg_variable_393 = homalg_variable_392*homalg_variable_379; matrix homalg_variable_394 = homalg_variable_393*homalg_variable_372; matrix homalg_variable_395 = submat(homalg_variable_389,1..3,intvec( 1, 2, 3 )); matrix homalg_variable_396 = homalg_variable_390*homalg_variable_395; matrix homalg_variable_397 = homalg_variable_396*homalg_variable_372; matrix homalg_variable_398[6][4] = homalg_variable_394,homalg_variable_397; matrix homalg_variable_391 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_398); IsZeroMatrix(homalg_variable_391); nrows(homalg_variable_391); ZeroColumns(homalg_variable_391); ZeroColumns(homalg_variable_44); IsIdentityMatrix(homalg_variable_44); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_44); matrix homalg_variable_399 = homalg_variable_l[1]; matrix homalg_variable_400 = homalg_variable_l[2]; nrows(homalg_variable_399); IsIdentityMatrix(homalg_variable_399); matrix homalg_variable_401 = submat(homalg_variable_391,1..3,intvec( 4, 5, 6 )); 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]; IsZeroMatrix(homalg_variable_402); ncols(homalg_variable_400); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_391); matrix homalg_variable_404 = homalg_variable_l[1]; matrix homalg_variable_405 = homalg_variable_l[2]; nrows(homalg_variable_404); matrix homalg_variable_406[1][3] = 0; matrix homalg_variable_407[1][6] = concat(homalg_variable_297,homalg_variable_406); 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]; IsZeroMatrix(homalg_variable_408); ncols(homalg_variable_405); matrix homalg_variable_410 = SyzygiesGeneratorsOfColumns(homalg_variable_44); IsZeroMatrix(homalg_variable_410); nrows(homalg_variable_410); matrix homalg_variable_411 = BasisOfColumnModule(homalg_variable_410); nrows(homalg_variable_411); homalg_variable_411==homalg_variable_410; matrix homalg_variable_413 = homalg_variable_403*(-1); matrix homalg_variable_414 = homalg_variable_413*homalg_variable_400; matrix homalg_variable_412 = DecideZeroColumns(homalg_variable_414,homalg_variable_411); IsZeroMatrix(homalg_variable_412); matrix homalg_variable_415[4][3] = homalg_variable_412,homalg_variable_411; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_415); matrix homalg_variable_416 = homalg_variable_l[1]; matrix homalg_variable_417 = homalg_variable_l[2]; nrows(homalg_variable_416); matrix homalg_variable_418 = DecideZeroColumns(homalg_variable_166,homalg_variable_411); IsZeroMatrix(homalg_variable_418); IsIdentityMatrix(homalg_variable_416); ncols(homalg_variable_417); matrix homalg_variable_420 = homalg_variable_409*(-1); matrix homalg_variable_421 = homalg_variable_420*homalg_variable_405; matrix homalg_variable_422 = homalg_variable_421*homalg_variable_391; matrix homalg_variable_423 = submat(homalg_variable_417,1..3,intvec( 1, 2, 3 )); matrix homalg_variable_424 = homalg_variable_418*homalg_variable_423; matrix homalg_variable_425 = homalg_variable_424*homalg_variable_391; matrix homalg_variable_426[4][6] = homalg_variable_422,homalg_variable_425; matrix homalg_variable_419 = ReducedSyzygiesGeneratorsOfColumns(homalg_variable_426); IsZeroMatrix(homalg_variable_419); nrows(homalg_variable_419); list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_45); matrix homalg_variable_427 = homalg_variable_l[1]; matrix homalg_variable_428 = homalg_variable_l[2]; nrows(homalg_variable_427); matrix homalg_variable_429 = submat(homalg_variable_419,1..1,intvec( 2, 3, 4 )); 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]; IsZeroMatrix(homalg_variable_430); ncols(homalg_variable_428); matrix homalg_variable_432 = homalg_variable_431*(-1); matrix homalg_variable_433 = homalg_variable_432*homalg_variable_428; list homalg_variable_l=BasisOfColumnsCoeff(homalg_variable_433); matrix homalg_variable_434 = homalg_variable_l[1]; matrix homalg_variable_435 = homalg_variable_l[2]; nrows(homalg_variable_434); IsIdentityMatrix(homalg_variable_434); ncols(homalg_variable_435); matrix homalg_variable_436 = SyzygiesGeneratorsOfColumns(homalg_variable_6); IsZeroMatrix(homalg_variable_436); nrows(homalg_variable_436); GetRowIndependentUnitPositions(homalg_variable_436, list ( 0 )); matrix homalg_variable_438 = Involution(homalg_variable_6); matrix homalg_variable_437 = BasisOfRowModule(homalg_variable_438); ncols(homalg_variable_437); 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); 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); homalg_variable_439==homalg_variable_440; matrix homalg_variable_442[70][70] = unitmat(70); matrix homalg_variable_441 = DecideZeroRows(homalg_variable_442,homalg_variable_439); IsZeroMatrix(homalg_variable_441); ZeroRows(homalg_variable_441); IsIdentityMatrix(homalg_variable_441); 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); 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); homalg_variable_443==homalg_variable_444; matrix homalg_variable_446[50][50] = unitmat(50); matrix homalg_variable_445 = DecideZeroRows(homalg_variable_446,homalg_variable_443); IsZeroMatrix(homalg_variable_445); ZeroRows(homalg_variable_445); IsIdentityMatrix(homalg_variable_445); matrix homalg_variable_447[10][12] = dsum(homalg_variable_437,homalg_variable_437); matrix homalg_variable_448[10][12] = dsum(homalg_variable_438,homalg_variable_438); homalg_variable_447==homalg_variable_448; matrix homalg_variable_450[10][10] = unitmat(10); matrix homalg_variable_449 = DecideZeroRows(homalg_variable_450,homalg_variable_447); IsZeroMatrix(homalg_variable_449); ZeroRows(homalg_variable_449); IsIdentityMatrix(homalg_variable_449); 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); 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); homalg_variable_451==homalg_variable_452; matrix homalg_variable_454[35][35] = unitmat(35); matrix homalg_variable_453 = DecideZeroRows(homalg_variable_454,homalg_variable_451); IsZeroMatrix(homalg_variable_453); ZeroRows(homalg_variable_453); IsIdentityMatrix(homalg_variable_453); matrix homalg_variable_455[10][12] = dsum(homalg_variable_437,homalg_variable_437); matrix homalg_variable_456[10][12] = dsum(homalg_variable_438,homalg_variable_438); homalg_variable_455==homalg_variable_456; matrix homalg_variable_457 = DecideZeroRows(homalg_variable_450,homalg_variable_455); IsZeroMatrix(homalg_variable_457); ZeroRows(homalg_variable_457); IsIdentityMatrix(homalg_variable_457); 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); 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); homalg_variable_458==homalg_variable_459; matrix homalg_variable_460 = DecideZeroRows(homalg_variable_446,homalg_variable_458); IsZeroMatrix(homalg_variable_460); ZeroRows(homalg_variable_460); IsIdentityMatrix(homalg_variable_460); 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); 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); homalg_variable_461==homalg_variable_462; matrix homalg_variable_463 = DecideZeroRows(homalg_variable_446,homalg_variable_461); IsZeroMatrix(homalg_variable_463); ZeroRows(homalg_variable_463); IsIdentityMatrix(homalg_variable_463); matrix homalg_variable_464[25][30] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); matrix homalg_variable_465[25][30] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); homalg_variable_464==homalg_variable_465; matrix homalg_variable_467[25][25] = unitmat(25); matrix homalg_variable_466 = DecideZeroRows(homalg_variable_467,homalg_variable_464); IsZeroMatrix(homalg_variable_466); ZeroRows(homalg_variable_466); IsIdentityMatrix(homalg_variable_466); homalg_variable_437==homalg_variable_438; matrix homalg_variable_468 = DecideZeroRows(homalg_variable_9,homalg_variable_437); IsZeroMatrix(homalg_variable_468); ZeroRows(homalg_variable_468); IsIdentityMatrix(homalg_variable_468); matrix homalg_variable_469[20][24] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); matrix homalg_variable_470[20][24] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); homalg_variable_469==homalg_variable_470; matrix homalg_variable_472[20][20] = unitmat(20); matrix homalg_variable_471 = DecideZeroRows(homalg_variable_472,homalg_variable_469); IsZeroMatrix(homalg_variable_471); ZeroRows(homalg_variable_471); IsIdentityMatrix(homalg_variable_471); 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); 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); homalg_variable_473==homalg_variable_474; matrix homalg_variable_476[30][30] = unitmat(30); matrix homalg_variable_475 = DecideZeroRows(homalg_variable_476,homalg_variable_473); IsZeroMatrix(homalg_variable_475); ZeroRows(homalg_variable_475); IsIdentityMatrix(homalg_variable_475); matrix homalg_variable_477[20][24] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); matrix homalg_variable_478[20][24] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); homalg_variable_477==homalg_variable_478; matrix homalg_variable_479 = DecideZeroRows(homalg_variable_472,homalg_variable_477); IsZeroMatrix(homalg_variable_479); ZeroRows(homalg_variable_479); IsIdentityMatrix(homalg_variable_479); matrix homalg_variable_480 = DecideZeroRows(homalg_variable_9,homalg_variable_437); IsZeroMatrix(homalg_variable_480); ZeroRows(homalg_variable_480); IsIdentityMatrix(homalg_variable_480); 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); 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); homalg_variable_481==homalg_variable_482; matrix homalg_variable_483 = DecideZeroRows(homalg_variable_476,homalg_variable_481); IsZeroMatrix(homalg_variable_483); ZeroRows(homalg_variable_483); IsIdentityMatrix(homalg_variable_483); matrix homalg_variable_484[25][30] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); matrix homalg_variable_485[25][30] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); homalg_variable_484==homalg_variable_485; matrix homalg_variable_486 = DecideZeroRows(homalg_variable_467,homalg_variable_484); IsZeroMatrix(homalg_variable_486); ZeroRows(homalg_variable_486); IsIdentityMatrix(homalg_variable_486); matrix homalg_variable_487[20][24] = dsum(homalg_variable_437,homalg_variable_437,homalg_variable_437,homalg_variable_437); matrix homalg_variable_488[20][24] = dsum(homalg_variable_438,homalg_variable_438,homalg_variable_438,homalg_variable_438); homalg_variable_487==homalg_variable_488; matrix homalg_variable_489 = DecideZeroRows(homalg_variable_472,homalg_variable_487); IsZeroMatrix(homalg_variable_489); ZeroRows(homalg_variable_489); IsIdentityMatrix(homalg_variable_489); matrix homalg_variable_490 = DecideZeroRows(homalg_variable_9,homalg_variable_437); IsZeroMatrix(homalg_variable_490); ZeroRows(homalg_variable_490); IsIdentityMatrix(homalg_variable_490); matrix homalg_variable_492[25][30] = tensor(homalg_variable_4,homalg_variable_9); matrix homalg_variable_491 = RelativeSyzygiesGeneratorsOfRows(homalg_variable_492,homalg_variable_484); homalg_variable_491; tst_status(1);\$