Ticket #494: commands_file_of_Singular_with_PID_38385

option(noredefine);option(redSB);LIB "matrix.lib";LIB "involut.lib";LIB "nctools.lib";LIB "poly.lib";LIB "random.lib";LIB "finvar.lib";
int homalg_variable_i; int homalg_variable_j; int homalg_variable_k; list homalg_variable_l;


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 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 MatrixOfSymbols (matrix m)
{
  int i; int j; poly e;
  int r=nrows(m);
  int c=ncols(m);
  matrix n[r][c]=0;
  for(i=1;i<=r;i++)
  {
    for(j=1;j<=c;j++)
    {
      e=m[i,j];
      if(e!=0)
      { n[i,j]=e-jet(e,deg(e)-1); }
    }
  }
  return(n);
}


proc BasisOfRowModule (matrix M)
{
  return(std(M));
}


proc BasisOfColumnModule (matrix M)
{
  return(Involution(BasisOfRowModule(Involution(M))));
}


proc SyzygiesGeneratorsOfRows (matrix M)
{
  return(SyzForHomalg(M));
}


proc SyzygiesGeneratorsOfColumns (matrix M)
{
  return(Involution(SyzForHomalg(Involution(M))));
}


proc ReducedSyzygiesGeneratorsOfRows (matrix M)
{
  return(ReducedSyzForHomalg(M));
}


proc ReducedSyzygiesGeneratorsOfColumns (matrix M)
{
  return(Involution(ReducedSyzForHomalg(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, module B)
{
  attrib(B,"isSB",1);
  return(reduce(A,B));
}


proc DecideZeroColumns (matrix A, matrix B)
{
  return(Involution(DecideZeroRows(Involution(A),Involution(B))));
}


proc DecideZeroRowsEffectively (matrix A, module B)
{
  attrib(B,"isSB",1);
  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 RelativeSyzygiesGeneratorsOfRows (matrix M1, matrix M2)
{
  return(BasisOfRowModule(modulo(M1, M2)));
}


proc RelativeSyzygiesGeneratorsOfColumns (matrix M1, matrix M2)
{
  return(Involution(RelativeSyzygiesGeneratorsOfRows(Involution(M1),Involution(M2))));
}


proc PartiallyReducedBasisOfRowModule (matrix M)
{
  return(mstd(M)[2]);
}


proc PartiallyReducedBasisOfColumnModule (matrix M)
{
  return(Involution(PartiallyReducedBasisOfRowModule(Involution(M))));
}


proc IsZeroMatrix (matrix m)
{
  matrix z[nrows(m)][ncols(m)];
  return(m==z);
}


proc IsIdentityMatrix (matrix m)
{
  return(m==unitmat(nrows(m)));
}


proc GetColumnIndependentUnitPositions (matrix M, list pos_list)
{
  int m = nrows(M);
  int n = ncols(M);
  
  list rest;
  intvec tmp = 1..m;
  rest = tmp[1..m];
  int r = m;
  list rest2;
  list pos;
  int i; int k; int a; int s = 1; int s2;
  
  for (int j=1; j<=n; j++)
  {
    for (i=r; i>0; i--)
    {
      k = rest[i];
      if (deg(M[k,j]) == 0) //IsUnit
      {
        rest2 = list();
        s2 = 1;
        pos[s] = list(j,k); s++;
        for (a=1; a<=r; a++)
        {
          if (M[rest[a],j] == 0)
          {
            rest2[s2] = rest[a]; s2++;
          }
        }
        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 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 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 PrimaryDecomposition (matrix m)
{
  return(primdecSY(m))
}


proc CoefficientsOfUnreducedNumeratorOfWeightedHilbertPoincareSeries (module m,weights,degrees)
{
  module M = std(m);
  attrib(M,"isHomog",degrees);
  return(hilb(M,1,weights));
}


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 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 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 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_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_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 SyzForHomalg (matrix M)
{
  return(syz(M));
}


proc ReducedSyzForHomalg (matrix M)
{
  return(matrix(nres(M,2)[2]));
}


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; }
}



// start: a workaround for a bug in the 64 bit versions of Singular 3-0-4
if ( defined( basering ) != 0 )
{
  def homalg_variable_basering = basering;
}
ring r;
if ( deg(0,(1,1,1)) > 0 )
{ proc Deg (pol,weights)
  {
    if ( pol == 0 )
    {
      return(deg(0));
    }
    return(deg(pol,weights));
  }
}
else
{ proc Deg (pol,weights)
  {
    return(deg(pol,weights));
  }
}
kill r;
if ( defined( homalg_variable_basering ) != 0 )
{
  setring homalg_variable_basering;
}
// end: a workaround for a bug in the 64 bit versions of Singular 3-0-4



// deg(lead()) instead of deg() below works around a bug
proc homalg_Symbol (poly e)
{
  if(e==0) {return(e);}
  poly l=lead(e);
  int d=deg(l);
  poly s=l;
  poly r=e-l;
  l=lead(r);
  while(deg(l)==d)
  {
    s=s+l;
    r=r-l;
    l=lead(r);
  }
  return(s);
}


proc MatrixOfSymbols_workaround (matrix m)
{
  int i; int j; poly e;
  int r=nrows(m);
  int c=ncols(m);
  matrix n[r][c]=0;
  // lead(e) below works around a bug
  for(i=1;i<=r;i++)
  {
    for(j=1;j<=c;j++)
    {
      e=m[i,j];
      if(e!=0)
      { n[i,j]=homalg_Symbol(e); }
    }
  }
  return(n);
}

ring homalg_variable_1 = 2,dummy_variable,dp;
number homalg_variable_2 = 0;
number homalg_variable_3 = 1;
number homalg_variable_4 = -1;
setring homalg_variable_1;
short=0;option(redTail);

proc Involution (matrix m)
{
  return(transpose(m));
}

ring homalg_variable_5 = (2,Z(4)),dummy_variable,dp;
setring homalg_variable_5;
short=0;option(redTail);
(1)*Z(4)^2+(1)*Z(4)^1+(1)*Z(4)^0;
minpoly=(1)*Z(4)^2+(1)*Z(4)^1+(1)*Z(4)^0;
number homalg_variable_6 = 0;
number homalg_variable_7 = 1;
number homalg_variable_8 = -1;
setring homalg_variable_5;
short=0;option(redTail);

proc Involution (matrix m)
{
  return(transpose(m));
}

poly homalg_variable_9 = Z(4);
ring homalg_variable_10 = (2,Z(4)),(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20),dp;
setring homalg_variable_10;
short=0;option(redTail);
number homalg_variable_11 = 0;
number homalg_variable_12 = 1;
number homalg_variable_13 = -1;
minpoly=Z(4)^2+Z(4)+1;
poly homalg_variable_14 = x1;
poly homalg_variable_15 = x2;
poly homalg_variable_16 = x3;
poly homalg_variable_17 = x4;
poly homalg_variable_18 = x5;
poly homalg_variable_19 = x6;
poly homalg_variable_20 = x7;
poly homalg_variable_21 = x8;
poly homalg_variable_22 = x9;
poly homalg_variable_23 = x10;
poly homalg_variable_24 = x11;
poly homalg_variable_25 = x12;
poly homalg_variable_26 = x13;
poly homalg_variable_27 = x14;
poly homalg_variable_28 = x15;
poly homalg_variable_29 = x16;
poly homalg_variable_30 = x17;
poly homalg_variable_31 = x18;
poly homalg_variable_32 = x19;
poly homalg_variable_33 = x20;
homalg_variable_14;
homalg_variable_15;
homalg_variable_16;
homalg_variable_17;
homalg_variable_18;
homalg_variable_19;
homalg_variable_20;
homalg_variable_21;
homalg_variable_22;
homalg_variable_23;
homalg_variable_24;
homalg_variable_25;
homalg_variable_26;
homalg_variable_27;
homalg_variable_28;
homalg_variable_29;
homalg_variable_30;
homalg_variable_31;
homalg_variable_32;
homalg_variable_33;
poly homalg_variable_34 = Z(4);
setring homalg_variable_10;
short=0;option(redTail);

proc Involution (matrix m)
{
  return(transpose(m));
}

string s=read("r: homalg_file_1_PID_38382-singular");execute( "matrix homalg_variable_35[1][20] = " + s + ";" );homalg_variable_35 = transpose(homalg_variable_35);
string s=read("r: homalg_file_2_PID_38382-singular");execute( "matrix homalg_variable_36[12][20] = " + s + ";" );homalg_variable_36 = transpose(homalg_variable_36);
IsZeroMatrix(homalg_variable_36);
ZeroRows(homalg_variable_36);
matrix homalg_variable_37 = homalg_variable_36;
def homalg_variable_38 = homalg_variable_37[1,1];
def homalg_variable_39 = homalg_variable_37[2,1];
def homalg_variable_40 = homalg_variable_37[3,1];
def homalg_variable_41 = homalg_variable_37[4,1];
def homalg_variable_42 = homalg_variable_37[5,1];
def homalg_variable_43 = homalg_variable_37[6,1];
def homalg_variable_44 = homalg_variable_37[7,1];
def homalg_variable_45 = homalg_variable_37[8,1];
def homalg_variable_46 = homalg_variable_37[9,1];
def homalg_variable_47 = homalg_variable_37[10,1];
def homalg_variable_48 = homalg_variable_37[11,1];
def homalg_variable_49 = homalg_variable_37[12,1];
def homalg_variable_50 = homalg_variable_37[13,1];
def homalg_variable_51 = homalg_variable_37[14,1];
def homalg_variable_52 = homalg_variable_37[15,1];
def homalg_variable_53 = homalg_variable_37[16,1];
def homalg_variable_54 = homalg_variable_37[17,1];
def homalg_variable_55 = homalg_variable_37[18,1];
def homalg_variable_56 = homalg_variable_37[19,1];
def homalg_variable_57 = homalg_variable_37[20,1];
def homalg_variable_58 = homalg_variable_37[1,2];
def homalg_variable_59 = homalg_variable_37[2,2];
def homalg_variable_60 = homalg_variable_37[3,2];
def homalg_variable_61 = homalg_variable_37[4,2];
def homalg_variable_62 = homalg_variable_37[5,2];
def homalg_variable_63 = homalg_variable_37[6,2];
def homalg_variable_64 = homalg_variable_37[7,2];
def homalg_variable_65 = homalg_variable_37[8,2];
def homalg_variable_66 = homalg_variable_37[9,2];
def homalg_variable_67 = homalg_variable_37[10,2];
def homalg_variable_68 = homalg_variable_37[11,2];
def homalg_variable_69 = homalg_variable_37[12,2];
def homalg_variable_70 = homalg_variable_37[13,2];
def homalg_variable_71 = homalg_variable_37[14,2];
def homalg_variable_72 = homalg_variable_37[15,2];
def homalg_variable_73 = homalg_variable_37[16,2];
def homalg_variable_74 = homalg_variable_37[17,2];
def homalg_variable_75 = homalg_variable_37[18,2];
def homalg_variable_76 = homalg_variable_37[19,2];
def homalg_variable_77 = homalg_variable_37[20,2];
def homalg_variable_78 = homalg_variable_37[1,3];
def homalg_variable_79 = homalg_variable_37[2,3];
def homalg_variable_80 = homalg_variable_37[3,3];
def homalg_variable_81 = homalg_variable_37[4,3];
def homalg_variable_82 = homalg_variable_37[5,3];
def homalg_variable_83 = homalg_variable_37[6,3];
def homalg_variable_84 = homalg_variable_37[7,3];
def homalg_variable_85 = homalg_variable_37[8,3];
def homalg_variable_86 = homalg_variable_37[9,3];
def homalg_variable_87 = homalg_variable_37[10,3];
def homalg_variable_88 = homalg_variable_37[11,3];
def homalg_variable_89 = homalg_variable_37[12,3];
def homalg_variable_90 = homalg_variable_37[13,3];
def homalg_variable_91 = homalg_variable_37[14,3];
def homalg_variable_92 = homalg_variable_37[15,3];
def homalg_variable_93 = homalg_variable_37[16,3];
def homalg_variable_94 = homalg_variable_37[17,3];
def homalg_variable_95 = homalg_variable_37[18,3];
def homalg_variable_96 = homalg_variable_37[19,3];
def homalg_variable_97 = homalg_variable_37[20,3];
def homalg_variable_98 = homalg_variable_37[1,4];
def homalg_variable_99 = homalg_variable_37[2,4];
def homalg_variable_100 = homalg_variable_37[3,4];
def homalg_variable_101 = homalg_variable_37[4,4];
def homalg_variable_102 = homalg_variable_37[5,4];
def homalg_variable_103 = homalg_variable_37[6,4];
def homalg_variable_104 = homalg_variable_37[7,4];
def homalg_variable_105 = homalg_variable_37[8,4];
def homalg_variable_106 = homalg_variable_37[9,4];
def homalg_variable_107 = homalg_variable_37[10,4];
def homalg_variable_108 = homalg_variable_37[11,4];
def homalg_variable_109 = homalg_variable_37[12,4];
def homalg_variable_110 = homalg_variable_37[13,4];
def homalg_variable_111 = homalg_variable_37[14,4];
def homalg_variable_112 = homalg_variable_37[15,4];
def homalg_variable_113 = homalg_variable_37[16,4];
def homalg_variable_114 = homalg_variable_37[17,4];
def homalg_variable_115 = homalg_variable_37[18,4];
def homalg_variable_116 = homalg_variable_37[19,4];
def homalg_variable_117 = homalg_variable_37[20,4];
def homalg_variable_118 = homalg_variable_37[1,5];
def homalg_variable_119 = homalg_variable_37[2,5];
def homalg_variable_120 = homalg_variable_37[3,5];
def homalg_variable_121 = homalg_variable_37[4,5];
def homalg_variable_122 = homalg_variable_37[5,5];
def homalg_variable_123 = homalg_variable_37[6,5];
def homalg_variable_124 = homalg_variable_37[7,5];
def homalg_variable_125 = homalg_variable_37[8,5];
def homalg_variable_126 = homalg_variable_37[9,5];
def homalg_variable_127 = homalg_variable_37[10,5];
def homalg_variable_128 = homalg_variable_37[11,5];
def homalg_variable_129 = homalg_variable_37[12,5];
def homalg_variable_130 = homalg_variable_37[13,5];
def homalg_variable_131 = homalg_variable_37[14,5];
def homalg_variable_132 = homalg_variable_37[15,5];
def homalg_variable_133 = homalg_variable_37[16,5];
def homalg_variable_134 = homalg_variable_37[17,5];
def homalg_variable_135 = homalg_variable_37[18,5];
def homalg_variable_136 = homalg_variable_37[19,5];
def homalg_variable_137 = homalg_variable_37[20,5];
def homalg_variable_138 = homalg_variable_37[1,6];
def homalg_variable_139 = homalg_variable_37[2,6];
def homalg_variable_140 = homalg_variable_37[3,6];
def homalg_variable_141 = homalg_variable_37[4,6];
def homalg_variable_142 = homalg_variable_37[5,6];
def homalg_variable_143 = homalg_variable_37[6,6];
def homalg_variable_144 = homalg_variable_37[7,6];
def homalg_variable_145 = homalg_variable_37[8,6];
def homalg_variable_146 = homalg_variable_37[9,6];
def homalg_variable_147 = homalg_variable_37[10,6];
def homalg_variable_148 = homalg_variable_37[11,6];
def homalg_variable_149 = homalg_variable_37[12,6];
def homalg_variable_150 = homalg_variable_37[13,6];
def homalg_variable_151 = homalg_variable_37[14,6];
def homalg_variable_152 = homalg_variable_37[15,6];
def homalg_variable_153 = homalg_variable_37[16,6];
def homalg_variable_154 = homalg_variable_37[17,6];
def homalg_variable_155 = homalg_variable_37[18,6];
def homalg_variable_156 = homalg_variable_37[19,6];
def homalg_variable_157 = homalg_variable_37[20,6];
def homalg_variable_158 = homalg_variable_37[1,7];
def homalg_variable_159 = homalg_variable_37[2,7];
def homalg_variable_160 = homalg_variable_37[3,7];
def homalg_variable_161 = homalg_variable_37[4,7];
def homalg_variable_162 = homalg_variable_37[5,7];
def homalg_variable_163 = homalg_variable_37[6,7];
def homalg_variable_164 = homalg_variable_37[7,7];
def homalg_variable_165 = homalg_variable_37[8,7];
def homalg_variable_166 = homalg_variable_37[9,7];
def homalg_variable_167 = homalg_variable_37[10,7];
def homalg_variable_168 = homalg_variable_37[11,7];
def homalg_variable_169 = homalg_variable_37[12,7];
def homalg_variable_170 = homalg_variable_37[13,7];
def homalg_variable_171 = homalg_variable_37[14,7];
def homalg_variable_172 = homalg_variable_37[15,7];
def homalg_variable_173 = homalg_variable_37[16,7];
def homalg_variable_174 = homalg_variable_37[17,7];
def homalg_variable_175 = homalg_variable_37[18,7];
def homalg_variable_176 = homalg_variable_37[19,7];
def homalg_variable_177 = homalg_variable_37[20,7];
def homalg_variable_178 = homalg_variable_37[1,8];
def homalg_variable_179 = homalg_variable_37[2,8];
def homalg_variable_180 = homalg_variable_37[3,8];
def homalg_variable_181 = homalg_variable_37[4,8];
def homalg_variable_182 = homalg_variable_37[5,8];
def homalg_variable_183 = homalg_variable_37[6,8];
def homalg_variable_184 = homalg_variable_37[7,8];
def homalg_variable_185 = homalg_variable_37[8,8];
def homalg_variable_186 = homalg_variable_37[9,8];
def homalg_variable_187 = homalg_variable_37[10,8];
def homalg_variable_188 = homalg_variable_37[11,8];
def homalg_variable_189 = homalg_variable_37[12,8];
def homalg_variable_190 = homalg_variable_37[13,8];
def homalg_variable_191 = homalg_variable_37[14,8];
def homalg_variable_192 = homalg_variable_37[15,8];
def homalg_variable_193 = homalg_variable_37[16,8];
def homalg_variable_194 = homalg_variable_37[17,8];
def homalg_variable_195 = homalg_variable_37[18,8];
def homalg_variable_196 = homalg_variable_37[19,8];
def homalg_variable_197 = homalg_variable_37[20,8];
def homalg_variable_198 = homalg_variable_37[1,9];
def homalg_variable_199 = homalg_variable_37[2,9];
def homalg_variable_200 = homalg_variable_37[3,9];
def homalg_variable_201 = homalg_variable_37[4,9];
def homalg_variable_202 = homalg_variable_37[5,9];
def homalg_variable_203 = homalg_variable_37[6,9];
def homalg_variable_204 = homalg_variable_37[7,9];
def homalg_variable_205 = homalg_variable_37[8,9];
def homalg_variable_206 = homalg_variable_37[9,9];
def homalg_variable_207 = homalg_variable_37[10,9];
def homalg_variable_208 = homalg_variable_37[11,9];
def homalg_variable_209 = homalg_variable_37[12,9];
def homalg_variable_210 = homalg_variable_37[13,9];
def homalg_variable_211 = homalg_variable_37[14,9];
def homalg_variable_212 = homalg_variable_37[15,9];
def homalg_variable_213 = homalg_variable_37[16,9];
def homalg_variable_214 = homalg_variable_37[17,9];
def homalg_variable_215 = homalg_variable_37[18,9];
def homalg_variable_216 = homalg_variable_37[19,9];
def homalg_variable_217 = homalg_variable_37[20,9];
def homalg_variable_218 = homalg_variable_37[1,10];
def homalg_variable_219 = homalg_variable_37[2,10];
def homalg_variable_220 = homalg_variable_37[3,10];
def homalg_variable_221 = homalg_variable_37[4,10];
def homalg_variable_222 = homalg_variable_37[5,10];
def homalg_variable_223 = homalg_variable_37[6,10];
def homalg_variable_224 = homalg_variable_37[7,10];
def homalg_variable_225 = homalg_variable_37[8,10];
def homalg_variable_226 = homalg_variable_37[9,10];
def homalg_variable_227 = homalg_variable_37[10,10];
def homalg_variable_228 = homalg_variable_37[11,10];
def homalg_variable_229 = homalg_variable_37[12,10];
def homalg_variable_230 = homalg_variable_37[13,10];
def homalg_variable_231 = homalg_variable_37[14,10];
def homalg_variable_232 = homalg_variable_37[15,10];
def homalg_variable_233 = homalg_variable_37[16,10];
def homalg_variable_234 = homalg_variable_37[17,10];
def homalg_variable_235 = homalg_variable_37[18,10];
def homalg_variable_236 = homalg_variable_37[19,10];
def homalg_variable_237 = homalg_variable_37[20,10];
def homalg_variable_238 = homalg_variable_37[1,11];
def homalg_variable_239 = homalg_variable_37[2,11];
def homalg_variable_240 = homalg_variable_37[3,11];
def homalg_variable_241 = homalg_variable_37[4,11];
def homalg_variable_242 = homalg_variable_37[5,11];
def homalg_variable_243 = homalg_variable_37[6,11];
def homalg_variable_244 = homalg_variable_37[7,11];
def homalg_variable_245 = homalg_variable_37[8,11];
def homalg_variable_246 = homalg_variable_37[9,11];
def homalg_variable_247 = homalg_variable_37[10,11];
def homalg_variable_248 = homalg_variable_37[11,11];
def homalg_variable_249 = homalg_variable_37[12,11];
def homalg_variable_250 = homalg_variable_37[13,11];
def homalg_variable_251 = homalg_variable_37[14,11];
def homalg_variable_252 = homalg_variable_37[15,11];
def homalg_variable_253 = homalg_variable_37[16,11];
def homalg_variable_254 = homalg_variable_37[17,11];
def homalg_variable_255 = homalg_variable_37[18,11];
def homalg_variable_256 = homalg_variable_37[19,11];
def homalg_variable_257 = homalg_variable_37[20,11];
def homalg_variable_258 = homalg_variable_37[1,12];
def homalg_variable_259 = homalg_variable_37[2,12];
def homalg_variable_260 = homalg_variable_37[3,12];
def homalg_variable_261 = homalg_variable_37[4,12];
def homalg_variable_262 = homalg_variable_37[5,12];
def homalg_variable_263 = homalg_variable_37[6,12];
def homalg_variable_264 = homalg_variable_37[7,12];
def homalg_variable_265 = homalg_variable_37[8,12];
def homalg_variable_266 = homalg_variable_37[9,12];
def homalg_variable_267 = homalg_variable_37[10,12];
def homalg_variable_268 = homalg_variable_37[11,12];
def homalg_variable_269 = homalg_variable_37[12,12];
def homalg_variable_270 = homalg_variable_37[13,12];
def homalg_variable_271 = homalg_variable_37[14,12];
def homalg_variable_272 = homalg_variable_37[15,12];
def homalg_variable_273 = homalg_variable_37[16,12];
def homalg_variable_274 = homalg_variable_37[17,12];
def homalg_variable_275 = homalg_variable_37[18,12];
def homalg_variable_276 = homalg_variable_37[19,12];
def homalg_variable_277 = homalg_variable_37[20,12];
matrix homalg_variable_278 = SyzygiesGeneratorsOfRows(homalg_variable_36);
IsZeroMatrix(homalg_variable_278);
matrix homalg_variable_279 = BasisOfRowModule(homalg_variable_36);
ncols(homalg_variable_279);
homalg_variable_279==homalg_variable_36;
matrix homalg_variable_281[20][20] = unitmat(20);
matrix homalg_variable_280 = DecideZeroRows(homalg_variable_281,homalg_variable_279);
IsZeroMatrix(homalg_variable_280);
ZeroRows(homalg_variable_280);
IsIdentityMatrix(homalg_variable_280);
matrix homalg_variable_282 = homalg_variable_280;
def homalg_variable_283 = homalg_variable_282[1,1];
def homalg_variable_284 = homalg_variable_282[2,1];
def homalg_variable_285 = homalg_variable_282[3,1];
def homalg_variable_286 = homalg_variable_282[4,1];
def homalg_variable_287 = homalg_variable_282[5,1];
def homalg_variable_288 = homalg_variable_282[6,1];
def homalg_variable_289 = homalg_variable_282[7,1];
def homalg_variable_290 = homalg_variable_282[8,1];
def homalg_variable_291 = homalg_variable_282[9,1];
def homalg_variable_292 = homalg_variable_282[10,1];
def homalg_variable_293 = homalg_variable_282[11,1];
def homalg_variable_294 = homalg_variable_282[12,1];
def homalg_variable_295 = homalg_variable_282[13,1];
def homalg_variable_296 = homalg_variable_282[14,1];
def homalg_variable_297 = homalg_variable_282[15,1];
def homalg_variable_298 = homalg_variable_282[16,1];
def homalg_variable_299 = homalg_variable_282[17,1];
def homalg_variable_300 = homalg_variable_282[18,1];
def homalg_variable_301 = homalg_variable_282[19,1];
def homalg_variable_302 = homalg_variable_282[20,1];
def homalg_variable_303 = homalg_variable_282[1,2];
def homalg_variable_304 = homalg_variable_282[2,2];
def homalg_variable_305 = homalg_variable_282[3,2];
def homalg_variable_306 = homalg_variable_282[4,2];
def homalg_variable_307 = homalg_variable_282[5,2];
def homalg_variable_308 = homalg_variable_282[6,2];
def homalg_variable_309 = homalg_variable_282[7,2];
def homalg_variable_310 = homalg_variable_282[8,2];
def homalg_variable_311 = homalg_variable_282[9,2];
def homalg_variable_312 = homalg_variable_282[10,2];
def homalg_variable_313 = homalg_variable_282[11,2];
def homalg_variable_314 = homalg_variable_282[12,2];
def homalg_variable_315 = homalg_variable_282[13,2];
def homalg_variable_316 = homalg_variable_282[14,2];
def homalg_variable_317 = homalg_variable_282[15,2];
def homalg_variable_318 = homalg_variable_282[16,2];
def homalg_variable_319 = homalg_variable_282[17,2];
def homalg_variable_320 = homalg_variable_282[18,2];
def homalg_variable_321 = homalg_variable_282[19,2];
def homalg_variable_322 = homalg_variable_282[20,2];
def homalg_variable_323 = homalg_variable_282[1,3];
def homalg_variable_324 = homalg_variable_282[2,3];
def homalg_variable_325 = homalg_variable_282[3,3];
def homalg_variable_326 = homalg_variable_282[4,3];
def homalg_variable_327 = homalg_variable_282[5,3];
def homalg_variable_328 = homalg_variable_282[6,3];
def homalg_variable_329 = homalg_variable_282[7,3];
def homalg_variable_330 = homalg_variable_282[8,3];
def homalg_variable_331 = homalg_variable_282[9,3];
def homalg_variable_332 = homalg_variable_282[10,3];
def homalg_variable_333 = homalg_variable_282[11,3];
def homalg_variable_334 = homalg_variable_282[12,3];
def homalg_variable_335 = homalg_variable_282[13,3];
def homalg_variable_336 = homalg_variable_282[14,3];
def homalg_variable_337 = homalg_variable_282[15,3];
def homalg_variable_338 = homalg_variable_282[16,3];
def homalg_variable_339 = homalg_variable_282[17,3];
def homalg_variable_340 = homalg_variable_282[18,3];
def homalg_variable_341 = homalg_variable_282[19,3];
def homalg_variable_342 = homalg_variable_282[20,3];
def homalg_variable_343 = homalg_variable_282[1,4];
def homalg_variable_344 = homalg_variable_282[2,4];
def homalg_variable_345 = homalg_variable_282[3,4];
def homalg_variable_346 = homalg_variable_282[4,4];
def homalg_variable_347 = homalg_variable_282[5,4];
def homalg_variable_348 = homalg_variable_282[6,4];
def homalg_variable_349 = homalg_variable_282[7,4];
def homalg_variable_350 = homalg_variable_282[8,4];
def homalg_variable_351 = homalg_variable_282[9,4];
def homalg_variable_352 = homalg_variable_282[10,4];
def homalg_variable_353 = homalg_variable_282[11,4];
def homalg_variable_354 = homalg_variable_282[12,4];
def homalg_variable_355 = homalg_variable_282[13,4];
def homalg_variable_356 = homalg_variable_282[14,4];
def homalg_variable_357 = homalg_variable_282[15,4];
def homalg_variable_358 = homalg_variable_282[16,4];
def homalg_variable_359 = homalg_variable_282[17,4];
def homalg_variable_360 = homalg_variable_282[18,4];
def homalg_variable_361 = homalg_variable_282[19,4];
def homalg_variable_362 = homalg_variable_282[20,4];
def homalg_variable_363 = homalg_variable_282[1,5];
def homalg_variable_364 = homalg_variable_282[2,5];
def homalg_variable_365 = homalg_variable_282[3,5];
def homalg_variable_366 = homalg_variable_282[4,5];
def homalg_variable_367 = homalg_variable_282[5,5];
def homalg_variable_368 = homalg_variable_282[6,5];
def homalg_variable_369 = homalg_variable_282[7,5];
def homalg_variable_370 = homalg_variable_282[8,5];
def homalg_variable_371 = homalg_variable_282[9,5];
def homalg_variable_372 = homalg_variable_282[10,5];
def homalg_variable_373 = homalg_variable_282[11,5];
def homalg_variable_374 = homalg_variable_282[12,5];
def homalg_variable_375 = homalg_variable_282[13,5];
def homalg_variable_376 = homalg_variable_282[14,5];
def homalg_variable_377 = homalg_variable_282[15,5];
def homalg_variable_378 = homalg_variable_282[16,5];
def homalg_variable_379 = homalg_variable_282[17,5];
def homalg_variable_380 = homalg_variable_282[18,5];
def homalg_variable_381 = homalg_variable_282[19,5];
def homalg_variable_382 = homalg_variable_282[20,5];
def homalg_variable_383 = homalg_variable_282[1,6];
def homalg_variable_384 = homalg_variable_282[2,6];
def homalg_variable_385 = homalg_variable_282[3,6];
def homalg_variable_386 = homalg_variable_282[4,6];
def homalg_variable_387 = homalg_variable_282[5,6];
def homalg_variable_388 = homalg_variable_282[6,6];
def homalg_variable_389 = homalg_variable_282[7,6];
def homalg_variable_390 = homalg_variable_282[8,6];
def homalg_variable_391 = homalg_variable_282[9,6];
def homalg_variable_392 = homalg_variable_282[10,6];
def homalg_variable_393 = homalg_variable_282[11,6];
def homalg_variable_394 = homalg_variable_282[12,6];
def homalg_variable_395 = homalg_variable_282[13,6];
def homalg_variable_396 = homalg_variable_282[14,6];
def homalg_variable_397 = homalg_variable_282[15,6];
def homalg_variable_398 = homalg_variable_282[16,6];
def homalg_variable_399 = homalg_variable_282[17,6];
def homalg_variable_400 = homalg_variable_282[18,6];
def homalg_variable_401 = homalg_variable_282[19,6];
def homalg_variable_402 = homalg_variable_282[20,6];
def homalg_variable_403 = homalg_variable_282[1,7];
def homalg_variable_404 = homalg_variable_282[2,7];
def homalg_variable_405 = homalg_variable_282[3,7];
def homalg_variable_406 = homalg_variable_282[4,7];
def homalg_variable_407 = homalg_variable_282[5,7];
def homalg_variable_408 = homalg_variable_282[6,7];
def homalg_variable_409 = homalg_variable_282[7,7];
def homalg_variable_410 = homalg_variable_282[8,7];
def homalg_variable_411 = homalg_variable_282[9,7];
def homalg_variable_412 = homalg_variable_282[10,7];
def homalg_variable_413 = homalg_variable_282[11,7];
def homalg_variable_414 = homalg_variable_282[12,7];
def homalg_variable_415 = homalg_variable_282[13,7];
def homalg_variable_416 = homalg_variable_282[14,7];
def homalg_variable_417 = homalg_variable_282[15,7];
def homalg_variable_418 = homalg_variable_282[16,7];
def homalg_variable_419 = homalg_variable_282[17,7];
def homalg_variable_420 = homalg_variable_282[18,7];
def homalg_variable_421 = homalg_variable_282[19,7];
def homalg_variable_422 = homalg_variable_282[20,7];
def homalg_variable_423 = homalg_variable_282[1,8];
def homalg_variable_424 = homalg_variable_282[2,8];
def homalg_variable_425 = homalg_variable_282[3,8];
def homalg_variable_426 = homalg_variable_282[4,8];
def homalg_variable_427 = homalg_variable_282[5,8];
def homalg_variable_428 = homalg_variable_282[6,8];
def homalg_variable_429 = homalg_variable_282[7,8];
def homalg_variable_430 = homalg_variable_282[8,8];
def homalg_variable_431 = homalg_variable_282[9,8];
def homalg_variable_432 = homalg_variable_282[10,8];
def homalg_variable_433 = homalg_variable_282[11,8];
def homalg_variable_434 = homalg_variable_282[12,8];
def homalg_variable_435 = homalg_variable_282[13,8];
def homalg_variable_436 = homalg_variable_282[14,8];
def homalg_variable_437 = homalg_variable_282[15,8];
def homalg_variable_438 = homalg_variable_282[16,8];
def homalg_variable_439 = homalg_variable_282[17,8];
def homalg_variable_440 = homalg_variable_282[18,8];
def homalg_variable_441 = homalg_variable_282[19,8];
def homalg_variable_442 = homalg_variable_282[20,8];
def homalg_variable_443 = homalg_variable_282[1,9];
def homalg_variable_444 = homalg_variable_282[2,9];
def homalg_variable_445 = homalg_variable_282[3,9];
def homalg_variable_446 = homalg_variable_282[4,9];
def homalg_variable_447 = homalg_variable_282[5,9];
def homalg_variable_448 = homalg_variable_282[6,9];
def homalg_variable_449 = homalg_variable_282[7,9];
def homalg_variable_450 = homalg_variable_282[8,9];
def homalg_variable_451 = homalg_variable_282[9,9];
def homalg_variable_452 = homalg_variable_282[10,9];
def homalg_variable_453 = homalg_variable_282[11,9];
def homalg_variable_454 = homalg_variable_282[12,9];
def homalg_variable_455 = homalg_variable_282[13,9];
def homalg_variable_456 = homalg_variable_282[14,9];
def homalg_variable_457 = homalg_variable_282[15,9];
def homalg_variable_458 = homalg_variable_282[16,9];
def homalg_variable_459 = homalg_variable_282[17,9];
def homalg_variable_460 = homalg_variable_282[18,9];
def homalg_variable_461 = homalg_variable_282[19,9];
def homalg_variable_462 = homalg_variable_282[20,9];
def homalg_variable_463 = homalg_variable_282[1,10];
def homalg_variable_464 = homalg_variable_282[2,10];
def homalg_variable_465 = homalg_variable_282[3,10];
def homalg_variable_466 = homalg_variable_282[4,10];
def homalg_variable_467 = homalg_variable_282[5,10];
def homalg_variable_468 = homalg_variable_282[6,10];
def homalg_variable_469 = homalg_variable_282[7,10];
def homalg_variable_470 = homalg_variable_282[8,10];
def homalg_variable_471 = homalg_variable_282[9,10];
def homalg_variable_472 = homalg_variable_282[10,10];
def homalg_variable_473 = homalg_variable_282[11,10];
def homalg_variable_474 = homalg_variable_282[12,10];
def homalg_variable_475 = homalg_variable_282[13,10];
def homalg_variable_476 = homalg_variable_282[14,10];
def homalg_variable_477 = homalg_variable_282[15,10];
def homalg_variable_478 = homalg_variable_282[16,10];
def homalg_variable_479 = homalg_variable_282[17,10];
def homalg_variable_480 = homalg_variable_282[18,10];
def homalg_variable_481 = homalg_variable_282[19,10];
def homalg_variable_482 = homalg_variable_282[20,10];
def homalg_variable_483 = homalg_variable_282[1,11];
def homalg_variable_484 = homalg_variable_282[2,11];
def homalg_variable_485 = homalg_variable_282[3,11];
def homalg_variable_486 = homalg_variable_282[4,11];
def homalg_variable_487 = homalg_variable_282[5,11];
def homalg_variable_488 = homalg_variable_282[6,11];
def homalg_variable_489 = homalg_variable_282[7,11];
def homalg_variable_490 = homalg_variable_282[8,11];
def homalg_variable_491 = homalg_variable_282[9,11];
def homalg_variable_492 = homalg_variable_282[10,11];
def homalg_variable_493 = homalg_variable_282[11,11];
def homalg_variable_494 = homalg_variable_282[12,11];
def homalg_variable_495 = homalg_variable_282[13,11];
def homalg_variable_496 = homalg_variable_282[14,11];
def homalg_variable_497 = homalg_variable_282[15,11];
def homalg_variable_498 = homalg_variable_282[16,11];
def homalg_variable_499 = homalg_variable_282[17,11];
def homalg_variable_500 = homalg_variable_282[18,11];
kill homalg_variable_278;
def homalg_variable_501 = homalg_variable_282[19,11];
def homalg_variable_502 = homalg_variable_282[20,11];
def homalg_variable_503 = homalg_variable_282[1,12];
def homalg_variable_504 = homalg_variable_282[2,12];
def homalg_variable_505 = homalg_variable_282[3,12];
def homalg_variable_506 = homalg_variable_282[4,12];
def homalg_variable_507 = homalg_variable_282[5,12];
def homalg_variable_508 = homalg_variable_282[6,12];
def homalg_variable_509 = homalg_variable_282[7,12];
def homalg_variable_510 = homalg_variable_282[8,12];
def homalg_variable_511 = homalg_variable_282[9,12];
def homalg_variable_512 = homalg_variable_282[10,12];
def homalg_variable_513 = homalg_variable_282[11,12];
def homalg_variable_514 = homalg_variable_282[12,12];
def homalg_variable_515 = homalg_variable_282[13,12];
def homalg_variable_516 = homalg_variable_282[14,12];
def homalg_variable_517 = homalg_variable_282[15,12];
def homalg_variable_518 = homalg_variable_282[16,12];
def homalg_variable_519 = homalg_variable_282[17,12];
def homalg_variable_520 = homalg_variable_282[18,12];
def homalg_variable_521 = homalg_variable_282[19,12];
def homalg_variable_522 = homalg_variable_282[20,12];
def homalg_variable_523 = homalg_variable_282[1,13];
def homalg_variable_524 = homalg_variable_282[2,13];
def homalg_variable_525 = homalg_variable_282[3,13];
def homalg_variable_526 = homalg_variable_282[4,13];
def homalg_variable_527 = homalg_variable_282[5,13];
def homalg_variable_528 = homalg_variable_282[6,13];
def homalg_variable_529 = homalg_variable_282[7,13];
def homalg_variable_530 = homalg_variable_282[8,13];
def homalg_variable_531 = homalg_variable_282[9,13];
def homalg_variable_532 = homalg_variable_282[10,13];
def homalg_variable_533 = homalg_variable_282[11,13];
def homalg_variable_534 = homalg_variable_282[12,13];
def homalg_variable_535 = homalg_variable_282[13,13];
def homalg_variable_536 = homalg_variable_282[14,13];
def homalg_variable_537 = homalg_variable_282[15,13];
def homalg_variable_538 = homalg_variable_282[16,13];
def homalg_variable_539 = homalg_variable_282[17,13];
def homalg_variable_540 = homalg_variable_282[18,13];
def homalg_variable_541 = homalg_variable_282[19,13];
def homalg_variable_542 = homalg_variable_282[20,13];
def homalg_variable_543 = homalg_variable_282[1,14];
def homalg_variable_544 = homalg_variable_282[2,14];
def homalg_variable_545 = homalg_variable_282[3,14];
def homalg_variable_546 = homalg_variable_282[4,14];
def homalg_variable_547 = homalg_variable_282[5,14];
def homalg_variable_548 = homalg_variable_282[6,14];
def homalg_variable_549 = homalg_variable_282[7,14];
def homalg_variable_550 = homalg_variable_282[8,14];
def homalg_variable_551 = homalg_variable_282[9,14];
def homalg_variable_552 = homalg_variable_282[10,14];
def homalg_variable_553 = homalg_variable_282[11,14];
def homalg_variable_554 = homalg_variable_282[12,14];
def homalg_variable_555 = homalg_variable_282[13,14];
def homalg_variable_556 = homalg_variable_282[14,14];
def homalg_variable_557 = homalg_variable_282[15,14];
def homalg_variable_558 = homalg_variable_282[16,14];
def homalg_variable_559 = homalg_variable_282[17,14];
def homalg_variable_560 = homalg_variable_282[18,14];
def homalg_variable_561 = homalg_variable_282[19,14];
def homalg_variable_562 = homalg_variable_282[20,14];
def homalg_variable_563 = homalg_variable_282[1,15];
def homalg_variable_564 = homalg_variable_282[2,15];
def homalg_variable_565 = homalg_variable_282[3,15];
def homalg_variable_566 = homalg_variable_282[4,15];
def homalg_variable_567 = homalg_variable_282[5,15];
def homalg_variable_568 = homalg_variable_282[6,15];
def homalg_variable_569 = homalg_variable_282[7,15];
def homalg_variable_570 = homalg_variable_282[8,15];
def homalg_variable_571 = homalg_variable_282[9,15];
def homalg_variable_572 = homalg_variable_282[10,15];
def homalg_variable_573 = homalg_variable_282[11,15];
def homalg_variable_574 = homalg_variable_282[12,15];
def homalg_variable_575 = homalg_variable_282[13,15];
def homalg_variable_576 = homalg_variable_282[14,15];
def homalg_variable_577 = homalg_variable_282[15,15];
def homalg_variable_578 = homalg_variable_282[16,15];
def homalg_variable_579 = homalg_variable_282[17,15];
def homalg_variable_580 = homalg_variable_282[18,15];
def homalg_variable_581 = homalg_variable_282[19,15];
def homalg_variable_582 = homalg_variable_282[20,15];
def homalg_variable_583 = homalg_variable_282[1,16];
def homalg_variable_584 = homalg_variable_282[2,16];
def homalg_variable_585 = homalg_variable_282[3,16];
def homalg_variable_586 = homalg_variable_282[4,16];
def homalg_variable_587 = homalg_variable_282[5,16];
def homalg_variable_588 = homalg_variable_282[6,16];
def homalg_variable_589 = homalg_variable_282[7,16];
def homalg_variable_590 = homalg_variable_282[8,16];
def homalg_variable_591 = homalg_variable_282[9,16];
def homalg_variable_592 = homalg_variable_282[10,16];
def homalg_variable_593 = homalg_variable_282[11,16];
def homalg_variable_594 = homalg_variable_282[12,16];
def homalg_variable_595 = homalg_variable_282[13,16];
def homalg_variable_596 = homalg_variable_282[14,16];
def homalg_variable_597 = homalg_variable_282[15,16];
def homalg_variable_598 = homalg_variable_282[16,16];
def homalg_variable_599 = homalg_variable_282[17,16];
def homalg_variable_600 = homalg_variable_282[18,16];
def homalg_variable_601 = homalg_variable_282[19,16];
def homalg_variable_602 = homalg_variable_282[20,16];
def homalg_variable_603 = homalg_variable_282[1,17];
def homalg_variable_604 = homalg_variable_282[2,17];
def homalg_variable_605 = homalg_variable_282[3,17];
def homalg_variable_606 = homalg_variable_282[4,17];
def homalg_variable_607 = homalg_variable_282[5,17];
def homalg_variable_608 = homalg_variable_282[6,17];
def homalg_variable_609 = homalg_variable_282[7,17];
def homalg_variable_610 = homalg_variable_282[8,17];
def homalg_variable_611 = homalg_variable_282[9,17];
def homalg_variable_612 = homalg_variable_282[10,17];
def homalg_variable_613 = homalg_variable_282[11,17];
def homalg_variable_614 = homalg_variable_282[12,17];
def homalg_variable_615 = homalg_variable_282[13,17];
def homalg_variable_616 = homalg_variable_282[14,17];
def homalg_variable_617 = homalg_variable_282[15,17];
def homalg_variable_618 = homalg_variable_282[16,17];
def homalg_variable_619 = homalg_variable_282[17,17];
def homalg_variable_620 = homalg_variable_282[18,17];
def homalg_variable_621 = homalg_variable_282[19,17];
def homalg_variable_622 = homalg_variable_282[20,17];
def homalg_variable_623 = homalg_variable_282[1,18];
def homalg_variable_624 = homalg_variable_282[2,18];
def homalg_variable_625 = homalg_variable_282[3,18];
def homalg_variable_626 = homalg_variable_282[4,18];
def homalg_variable_627 = homalg_variable_282[5,18];
def homalg_variable_628 = homalg_variable_282[6,18];
def homalg_variable_629 = homalg_variable_282[7,18];
def homalg_variable_630 = homalg_variable_282[8,18];
def homalg_variable_631 = homalg_variable_282[9,18];
def homalg_variable_632 = homalg_variable_282[10,18];
def homalg_variable_633 = homalg_variable_282[11,18];
def homalg_variable_634 = homalg_variable_282[12,18];
def homalg_variable_635 = homalg_variable_282[13,18];
def homalg_variable_636 = homalg_variable_282[14,18];
def homalg_variable_637 = homalg_variable_282[15,18];
def homalg_variable_638 = homalg_variable_282[16,18];
def homalg_variable_639 = homalg_variable_282[17,18];
def homalg_variable_640 = homalg_variable_282[18,18];
def homalg_variable_641 = homalg_variable_282[19,18];
def homalg_variable_642 = homalg_variable_282[20,18];
def homalg_variable_643 = homalg_variable_282[1,19];
def homalg_variable_644 = homalg_variable_282[2,19];
def homalg_variable_645 = homalg_variable_282[3,19];
def homalg_variable_646 = homalg_variable_282[4,19];
def homalg_variable_647 = homalg_variable_282[5,19];
def homalg_variable_648 = homalg_variable_282[6,19];
def homalg_variable_649 = homalg_variable_282[7,19];
def homalg_variable_650 = homalg_variable_282[8,19];
def homalg_variable_651 = homalg_variable_282[9,19];
def homalg_variable_652 = homalg_variable_282[10,19];
def homalg_variable_653 = homalg_variable_282[11,19];
def homalg_variable_654 = homalg_variable_282[12,19];
def homalg_variable_655 = homalg_variable_282[13,19];
def homalg_variable_656 = homalg_variable_282[14,19];
def homalg_variable_657 = homalg_variable_282[15,19];
def homalg_variable_658 = homalg_variable_282[16,19];
def homalg_variable_659 = homalg_variable_282[17,19];
def homalg_variable_660 = homalg_variable_282[18,19];
def homalg_variable_661 = homalg_variable_282[19,19];
def homalg_variable_662 = homalg_variable_282[20,19];
def homalg_variable_663 = homalg_variable_282[1,20];
def homalg_variable_664 = homalg_variable_282[2,20];
def homalg_variable_665 = homalg_variable_282[3,20];
def homalg_variable_666 = homalg_variable_282[4,20];
def homalg_variable_667 = homalg_variable_282[5,20];
def homalg_variable_668 = homalg_variable_282[6,20];
def homalg_variable_669 = homalg_variable_282[7,20];
def homalg_variable_670 = homalg_variable_282[8,20];
def homalg_variable_671 = homalg_variable_282[9,20];
def homalg_variable_672 = homalg_variable_282[10,20];
def homalg_variable_673 = homalg_variable_282[11,20];
def homalg_variable_674 = homalg_variable_282[12,20];
def homalg_variable_675 = homalg_variable_282[13,20];
def homalg_variable_676 = homalg_variable_282[14,20];
def homalg_variable_677 = homalg_variable_282[15,20];
def homalg_variable_678 = homalg_variable_282[16,20];
def homalg_variable_679 = homalg_variable_282[17,20];
def homalg_variable_680 = homalg_variable_282[18,20];
def homalg_variable_681 = homalg_variable_282[19,20];
def homalg_variable_682 = homalg_variable_282[20,20];
matrix homalg_variable_683 = RelativeSyzygiesGeneratorsOfRows(homalg_variable_280,homalg_variable_279);
IsZeroMatrix(homalg_variable_683);
ncols(homalg_variable_683);
GetUnitPosition(homalg_variable_683, list ( 0 ));
def homalg_variable_684 = homalg_variable_683[1,1];
homalg_variable_684==1;
matrix homalg_variable_685 = submat(homalg_variable_683,1..20,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ));
matrix homalg_variable_686 = submat(homalg_variable_685,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ),1..11);
matrix homalg_variable_687 = submat(homalg_variable_683,1..20,intvec( 1 ));
matrix homalg_variable_688 = submat(homalg_variable_687,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ),1..1);
matrix homalg_variable_689 = submat(homalg_variable_683,intvec( 1 ),1..12);
matrix homalg_variable_690 = submat(homalg_variable_689,1..1,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ));
matrix homalg_variable_691 = homalg_variable_688*homalg_variable_690;
matrix homalg_variable_692 = homalg_variable_686-homalg_variable_691;
GetUnitPosition(homalg_variable_692, list ( 0 ));
def homalg_variable_693 = homalg_variable_692[1,1];
homalg_variable_693==1;
matrix homalg_variable_694 = submat(homalg_variable_692,1..19,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 ));
matrix homalg_variable_695 = submat(homalg_variable_694,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19 ),1..10);
matrix homalg_variable_696 = submat(homalg_variable_692,1..19,intvec( 1 ));
matrix homalg_variable_697 = submat(homalg_variable_696,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19 ),1..1);
matrix homalg_variable_698 = submat(homalg_variable_692,intvec( 1 ),1..11);
matrix homalg_variable_699 = submat(homalg_variable_698,1..1,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 ));
matrix homalg_variable_700 = homalg_variable_697*homalg_variable_699;
matrix homalg_variable_701 = homalg_variable_695-homalg_variable_700;
GetUnitPosition(homalg_variable_701, list ( 0 ));
def homalg_variable_702 = homalg_variable_701[1,1];
homalg_variable_702==1;
matrix homalg_variable_703 = submat(homalg_variable_701,1..18,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10 ));
matrix homalg_variable_704 = submat(homalg_variable_703,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18 ),1..9);
matrix homalg_variable_705 = submat(homalg_variable_701,1..18,intvec( 1 ));
matrix homalg_variable_706 = submat(homalg_variable_705,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18 ),1..1);
matrix homalg_variable_707 = submat(homalg_variable_701,intvec( 1 ),1..10);
matrix homalg_variable_708 = submat(homalg_variable_707,1..1,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10 ));
matrix homalg_variable_709 = homalg_variable_706*homalg_variable_708;
matrix homalg_variable_710 = homalg_variable_704-homalg_variable_709;
GetUnitPosition(homalg_variable_710, list ( 0 ));
def homalg_variable_711 = homalg_variable_710[1,1];
homalg_variable_711==1;
matrix homalg_variable_712 = submat(homalg_variable_710,1..17,intvec( 2, 3, 4, 5, 6, 7, 8, 9 ));
matrix homalg_variable_713 = submat(homalg_variable_712,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17 ),1..8);
matrix homalg_variable_714 = submat(homalg_variable_710,1..17,intvec( 1 ));
matrix homalg_variable_715 = submat(homalg_variable_714,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17 ),1..1);
matrix homalg_variable_716 = submat(homalg_variable_710,intvec( 1 ),1..9);
matrix homalg_variable_717 = submat(homalg_variable_716,1..1,intvec( 2, 3, 4, 5, 6, 7, 8, 9 ));
matrix homalg_variable_718 = homalg_variable_715*homalg_variable_717;
matrix homalg_variable_719 = homalg_variable_713-homalg_variable_718;
GetUnitPosition(homalg_variable_719, list ( 0 ));
def homalg_variable_720 = homalg_variable_719[1,1];
homalg_variable_720==1;
matrix homalg_variable_721 = submat(homalg_variable_719,1..16,intvec( 2, 3, 4, 5, 6, 7, 8 ));
matrix homalg_variable_722 = submat(homalg_variable_721,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16 ),1..7);
matrix homalg_variable_723 = submat(homalg_variable_719,1..16,intvec( 1 ));
matrix homalg_variable_724 = submat(homalg_variable_723,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16 ),1..1);
matrix homalg_variable_725 = submat(homalg_variable_719,intvec( 1 ),1..8);
matrix homalg_variable_726 = submat(homalg_variable_725,1..1,intvec( 2, 3, 4, 5, 6, 7, 8 ));
matrix homalg_variable_727 = homalg_variable_724*homalg_variable_726;
matrix homalg_variable_728 = homalg_variable_722-homalg_variable_727;
GetUnitPosition(homalg_variable_728, list ( 0 ));
def homalg_variable_729 = homalg_variable_728[1,1];
homalg_variable_729==1;
matrix homalg_variable_730 = submat(homalg_variable_728,1..15,intvec( 2, 3, 4, 5, 6, 7 ));
matrix homalg_variable_731 = submat(homalg_variable_730,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 ),1..6);
matrix homalg_variable_732 = submat(homalg_variable_728,1..15,intvec( 1 ));
matrix homalg_variable_733 = submat(homalg_variable_732,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 ),1..1);
matrix homalg_variable_734 = submat(homalg_variable_728,intvec( 1 ),1..7);
matrix homalg_variable_735 = submat(homalg_variable_734,1..1,intvec( 2, 3, 4, 5, 6, 7 ));
matrix homalg_variable_736 = homalg_variable_733*homalg_variable_735;
matrix homalg_variable_737 = homalg_variable_731-homalg_variable_736;
GetUnitPosition(homalg_variable_737, list ( 0 ));
def homalg_variable_738 = homalg_variable_737[1,1];
homalg_variable_738==1;
matrix homalg_variable_739 = submat(homalg_variable_737,1..14,intvec( 2, 3, 4, 5, 6 ));
matrix homalg_variable_740 = submat(homalg_variable_739,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14 ),1..5);
matrix homalg_variable_741 = submat(homalg_variable_737,1..14,intvec( 1 ));
matrix homalg_variable_742 = submat(homalg_variable_741,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14 ),1..1);
matrix homalg_variable_743 = submat(homalg_variable_737,intvec( 1 ),1..6);
matrix homalg_variable_744 = submat(homalg_variable_743,1..1,intvec( 2, 3, 4, 5, 6 ));
matrix homalg_variable_745 = homalg_variable_742*homalg_variable_744;
matrix homalg_variable_746 = homalg_variable_740-homalg_variable_745;
GetUnitPosition(homalg_variable_746, list ( 0 ));
def homalg_variable_747 = homalg_variable_746[1,1];
homalg_variable_747==1;
matrix homalg_variable_748 = submat(homalg_variable_746,1..13,intvec( 2, 3, 4, 5 ));
matrix homalg_variable_749 = submat(homalg_variable_748,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 ),1..4);
matrix homalg_variable_750 = submat(homalg_variable_746,1..13,intvec( 1 ));
matrix homalg_variable_751 = submat(homalg_variable_750,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 ),1..1);
matrix homalg_variable_752 = submat(homalg_variable_746,intvec( 1 ),1..5);
matrix homalg_variable_753 = submat(homalg_variable_752,1..1,intvec( 2, 3, 4, 5 ));
matrix homalg_variable_754 = homalg_variable_751*homalg_variable_753;
matrix homalg_variable_755 = homalg_variable_749-homalg_variable_754;
GetUnitPosition(homalg_variable_755, list ( 0 ));
def homalg_variable_756 = homalg_variable_755[1,1];
homalg_variable_756==1;
matrix homalg_variable_757 = submat(homalg_variable_755,1..12,intvec( 2, 3, 4 ));
matrix homalg_variable_758 = submat(homalg_variable_757,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ),1..3);
matrix homalg_variable_759 = submat(homalg_variable_755,1..12,intvec( 1 ));
matrix homalg_variable_760 = submat(homalg_variable_759,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ),1..1);
matrix homalg_variable_761 = submat(homalg_variable_755,intvec( 1 ),1..4);
matrix homalg_variable_762 = submat(homalg_variable_761,1..1,intvec( 2, 3, 4 ));
matrix homalg_variable_763 = homalg_variable_760*homalg_variable_762;
matrix homalg_variable_764 = homalg_variable_758-homalg_variable_763;
GetUnitPosition(homalg_variable_764, list ( 0 ));
def homalg_variable_765 = homalg_variable_764[1,1];
homalg_variable_765==1;
matrix homalg_variable_766 = submat(homalg_variable_764,1..11,intvec( 2, 3 ));
matrix homalg_variable_767 = submat(homalg_variable_766,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 ),1..2);
matrix homalg_variable_768 = submat(homalg_variable_764,1..11,intvec( 1 ));
matrix homalg_variable_769 = submat(homalg_variable_768,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 ),1..1);
matrix homalg_variable_770 = submat(homalg_variable_764,intvec( 1 ),1..3);
matrix homalg_variable_771 = submat(homalg_variable_770,1..1,intvec( 2, 3 ));
matrix homalg_variable_772 = homalg_variable_769*homalg_variable_771;
matrix homalg_variable_773 = homalg_variable_767-homalg_variable_772;
GetUnitPosition(homalg_variable_773, list ( 0 ));
def homalg_variable_774 = homalg_variable_773[1,1];
homalg_variable_774==1;
matrix homalg_variable_775 = submat(homalg_variable_773,1..10,intvec( 2 ));
matrix homalg_variable_776 = submat(homalg_variable_775,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10 ),1..1);
matrix homalg_variable_777 = submat(homalg_variable_773,1..10,intvec( 1 ));
matrix homalg_variable_778 = submat(homalg_variable_777,intvec( 2, 3, 4, 5, 6, 7, 8, 9, 10 ),1..1);
matrix homalg_variable_779 = submat(homalg_variable_773,intvec( 1 ),1..2);
matrix homalg_variable_780 = submat(homalg_variable_779,1..1,intvec( 2 ));
matrix homalg_variable_781 = homalg_variable_778*homalg_variable_780;
matrix homalg_variable_782 = homalg_variable_776-homalg_variable_781;
GetUnitPosition(homalg_variable_782, list ( 0 ));
def homalg_variable_783 = homalg_variable_782[2,1];
homalg_variable_783==1;
matrix homalg_variable_784 = submat(homalg_variable_281,1..20,intvec( 12, 14, 15, 16, 17, 18, 19, 20 ));
matrix homalg_variable_785 = homalg_variable_784;
def homalg_variable_786 = homalg_variable_785[1,1];
def homalg_variable_787 = homalg_variable_785[2,1];
def homalg_variable_788 = homalg_variable_785[3,1];
def homalg_variable_789 = homalg_variable_785[4,1];
def homalg_variable_790 = homalg_variable_785[5,1];
def homalg_variable_791 = homalg_variable_785[6,1];
def homalg_variable_792 = homalg_variable_785[7,1];
def homalg_variable_793 = homalg_variable_785[8,1];
def homalg_variable_794 = homalg_variable_785[9,1];
def homalg_variable_795 = homalg_variable_785[10,1];
def homalg_variable_796 = homalg_variable_785[11,1];
def homalg_variable_797 = homalg_variable_785[12,1];
def homalg_variable_798 = homalg_variable_785[13,1];
def homalg_variable_799 = homalg_variable_785[14,1];
def homalg_variable_800 = homalg_variable_785[15,1];
def homalg_variable_801 = homalg_variable_785[16,1];
def homalg_variable_802 = homalg_variable_785[17,1];
def homalg_variable_803 = homalg_variable_785[18,1];
def homalg_variable_804 = homalg_variable_785[19,1];
def homalg_variable_805 = homalg_variable_785[20,1];
def homalg_variable_806 = homalg_variable_785[1,2];
def homalg_variable_807 = homalg_variable_785[2,2];
def homalg_variable_808 = homalg_variable_785[3,2];
def homalg_variable_809 = homalg_variable_785[4,2];
def homalg_variable_810 = homalg_variable_785[5,2];
def homalg_variable_811 = homalg_variable_785[6,2];
def homalg_variable_812 = homalg_variable_785[7,2];
def homalg_variable_813 = homalg_variable_785[8,2];
def homalg_variable_814 = homalg_variable_785[9,2];
def homalg_variable_815 = homalg_variable_785[10,2];
def homalg_variable_816 = homalg_variable_785[11,2];
def homalg_variable_817 = homalg_variable_785[12,2];
def homalg_variable_818 = homalg_variable_785[13,2];
def homalg_variable_819 = homalg_variable_785[14,2];
def homalg_variable_820 = homalg_variable_785[15,2];
def homalg_variable_821 = homalg_variable_785[16,2];
def homalg_variable_822 = homalg_variable_785[17,2];
def homalg_variable_823 = homalg_variable_785[18,2];
def homalg_variable_824 = homalg_variable_785[19,2];
def homalg_variable_825 = homalg_variable_785[20,2];
def homalg_variable_826 = homalg_variable_785[1,3];
def homalg_variable_827 = homalg_variable_785[2,3];
def homalg_variable_828 = homalg_variable_785[3,3];
def homalg_variable_829 = homalg_variable_785[4,3];
def homalg_variable_830 = homalg_variable_785[5,3];
def homalg_variable_831 = homalg_variable_785[6,3];
def homalg_variable_832 = homalg_variable_785[7,3];
def homalg_variable_833 = homalg_variable_785[8,3];
def homalg_variable_834 = homalg_variable_785[9,3];
def homalg_variable_835 = homalg_variable_785[10,3];
def homalg_variable_836 = homalg_variable_785[11,3];
def homalg_variable_837 = homalg_variable_785[12,3];
def homalg_variable_838 = homalg_variable_785[13,3];
def homalg_variable_839 = homalg_variable_785[14,3];
def homalg_variable_840 = homalg_variable_785[15,3];
def homalg_variable_841 = homalg_variable_785[16,3];
def homalg_variable_842 = homalg_variable_785[17,3];
def homalg_variable_843 = homalg_variable_785[18,3];
def homalg_variable_844 = homalg_variable_785[19,3];
def homalg_variable_845 = homalg_variable_785[20,3];
def homalg_variable_846 = homalg_variable_785[1,4];
def homalg_variable_847 = homalg_variable_785[2,4];
def homalg_variable_848 = homalg_variable_785[3,4];
def homalg_variable_849 = homalg_variable_785[4,4];
def homalg_variable_850 = homalg_variable_785[5,4];
def homalg_variable_851 = homalg_variable_785[6,4];
def homalg_variable_852 = homalg_variable_785[7,4];
def homalg_variable_853 = homalg_variable_785[8,4];
def homalg_variable_854 = homalg_variable_785[9,4];
def homalg_variable_855 = homalg_variable_785[10,4];
def homalg_variable_856 = homalg_variable_785[11,4];
def homalg_variable_857 = homalg_variable_785[12,4];
def homalg_variable_858 = homalg_variable_785[13,4];
def homalg_variable_859 = homalg_variable_785[14,4];
def homalg_variable_860 = homalg_variable_785[15,4];
def homalg_variable_861 = homalg_variable_785[16,4];
def homalg_variable_862 = homalg_variable_785[17,4];
def homalg_variable_863 = homalg_variable_785[18,4];
def homalg_variable_864 = homalg_variable_785[19,4];
def homalg_variable_865 = homalg_variable_785[20,4];
def homalg_variable_866 = homalg_variable_785[1,5];
def homalg_variable_867 = homalg_variable_785[2,5];
def homalg_variable_868 = homalg_variable_785[3,5];
def homalg_variable_869 = homalg_variable_785[4,5];
def homalg_variable_870 = homalg_variable_785[5,5];
def homalg_variable_871 = homalg_variable_785[6,5];
def homalg_variable_872 = homalg_variable_785[7,5];
def homalg_variable_873 = homalg_variable_785[8,5];
def homalg_variable_874 = homalg_variable_785[9,5];
def homalg_variable_875 = homalg_variable_785[10,5];
def homalg_variable_876 = homalg_variable_785[11,5];
def homalg_variable_877 = homalg_variable_785[12,5];
def homalg_variable_878 = homalg_variable_785[13,5];
def homalg_variable_879 = homalg_variable_785[14,5];
def homalg_variable_880 = homalg_variable_785[15,5];
def homalg_variable_881 = homalg_variable_785[16,5];
def homalg_variable_882 = homalg_variable_785[17,5];
def homalg_variable_883 = homalg_variable_785[18,5];
def homalg_variable_884 = homalg_variable_785[19,5];
def homalg_variable_885 = homalg_variable_785[20,5];
def homalg_variable_886 = homalg_variable_785[1,6];
def homalg_variable_887 = homalg_variable_785[2,6];
def homalg_variable_888 = homalg_variable_785[3,6];
def homalg_variable_889 = homalg_variable_785[4,6];
def homalg_variable_890 = homalg_variable_785[5,6];
def homalg_variable_891 = homalg_variable_785[6,6];
def homalg_variable_892 = homalg_variable_785[7,6];
def homalg_variable_893 = homalg_variable_785[8,6];
def homalg_variable_894 = homalg_variable_785[9,6];
def homalg_variable_895 = homalg_variable_785[10,6];
def homalg_variable_896 = homalg_variable_785[11,6];
def homalg_variable_897 = homalg_variable_785[12,6];
def homalg_variable_898 = homalg_variable_785[13,6];
def homalg_variable_899 = homalg_variable_785[14,6];
def homalg_variable_900 = homalg_variable_785[15,6];
def homalg_variable_901 = homalg_variable_785[16,6];
def homalg_variable_902 = homalg_variable_785[17,6];
def homalg_variable_903 = homalg_variable_785[18,6];
def homalg_variable_904 = homalg_variable_785[19,6];
def homalg_variable_905 = homalg_variable_785[20,6];
def homalg_variable_906 = homalg_variable_785[1,7];
def homalg_variable_907 = homalg_variable_785[2,7];
def homalg_variable_908 = homalg_variable_785[3,7];
def homalg_variable_909 = homalg_variable_785[4,7];
def homalg_variable_910 = homalg_variable_785[5,7];
def homalg_variable_911 = homalg_variable_785[6,7];
def homalg_variable_912 = homalg_variable_785[7,7];
def homalg_variable_913 = homalg_variable_785[8,7];
def homalg_variable_914 = homalg_variable_785[9,7];
def homalg_variable_915 = homalg_variable_785[10,7];
def homalg_variable_916 = homalg_variable_785[11,7];
def homalg_variable_917 = homalg_variable_785[12,7];
def homalg_variable_918 = homalg_variable_785[13,7];
def homalg_variable_919 = homalg_variable_785[14,7];
def homalg_variable_920 = homalg_variable_785[15,7];
def homalg_variable_921 = homalg_variable_785[16,7];
def homalg_variable_922 = homalg_variable_785[17,7];
def homalg_variable_923 = homalg_variable_785[18,7];
def homalg_variable_924 = homalg_variable_785[19,7];
def homalg_variable_925 = homalg_variable_785[20,7];
def homalg_variable_926 = homalg_variable_785[1,8];
def homalg_variable_927 = homalg_variable_785[2,8];
def homalg_variable_928 = homalg_variable_785[3,8];
def homalg_variable_929 = homalg_variable_785[4,8];
def homalg_variable_930 = homalg_variable_785[5,8];
def homalg_variable_931 = homalg_variable_785[6,8];
def homalg_variable_932 = homalg_variable_785[7,8];
def homalg_variable_933 = homalg_variable_785[8,8];
def homalg_variable_934 = homalg_variable_785[9,8];
def homalg_variable_935 = homalg_variable_785[10,8];
def homalg_variable_936 = homalg_variable_785[11,8];
def homalg_variable_937 = homalg_variable_785[12,8];
def homalg_variable_938 = homalg_variable_785[13,8];
def homalg_variable_939 = homalg_variable_785[14,8];
def homalg_variable_940 = homalg_variable_785[15,8];
def homalg_variable_941 = homalg_variable_785[16,8];
def homalg_variable_942 = homalg_variable_785[17,8];
def homalg_variable_943 = homalg_variable_785[18,8];
def homalg_variable_944 = homalg_variable_785[19,8];
def homalg_variable_945 = homalg_variable_785[20,8];
matrix m[20][1];string s = "[";for(int i=1;i<=12;i++){m = homalg_variable_36[1..20,i]; if(i!=1){s=s+",";};s=s+"["+string(m)+"]";};s=s+"]";write("w: /var/tmp/homalg_variable_36_PID_38385",s);
matrix homalg_variable_947 = submat(homalg_variable_280,1..20,intvec( 12, 14, 15, 16, 17, 18, 19, 20 ));
matrix homalg_variable_946 = DecideZeroRows(homalg_variable_947,homalg_variable_279);
IsZeroMatrix(homalg_variable_946);
matrix homalg_variable_948[20][20] = concat(homalg_variable_946,homalg_variable_279);
list homalg_variable_l=BasisOfRowsCoeff(homalg_variable_948); matrix homalg_variable_949 = homalg_variable_l[1]; matrix homalg_variable_950 = homalg_variable_l[2];
ncols(homalg_variable_949);
matrix homalg_variable_951 = DecideZeroRows(homalg_variable_35,homalg_variable_279);
IsZeroMatrix(homalg_variable_951);
IsIdentityMatrix(homalg_variable_949);
nrows(homalg_variable_950);
matrix homalg_variable_952[1][20] = x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20;
homalg_variable_952 = transpose(homalg_variable_952);
matrix homalg_variable_953[20][20] = concat(homalg_variable_946,homalg_variable_279);
list homalg_variable_l=BasisOfRowsCoeff(homalg_variable_953); matrix homalg_variable_954 = homalg_variable_l[1]; matrix homalg_variable_955 = homalg_variable_l[2];
ncols(homalg_variable_954);
matrix homalg_variable_956 = DecideZeroRows(homalg_variable_281,homalg_variable_279);
IsZeroMatrix(homalg_variable_956);
IsIdentityMatrix(homalg_variable_954);
nrows(homalg_variable_955);
homalg_variable_14==0;
homalg_variable_15==0;
homalg_variable_16==0;
homalg_variable_17==0;
homalg_variable_18==0;
homalg_variable_19==0;
homalg_variable_20==0;
homalg_variable_21==0;
homalg_variable_22==0;
homalg_variable_23==0;
homalg_variable_24==0;
homalg_variable_25==0;
homalg_variable_26==0;
homalg_variable_27==0;
homalg_variable_28==0;
homalg_variable_29==0;
homalg_variable_30==0;
homalg_variable_31==0;
homalg_variable_32==0;
homalg_variable_33==0;
def homalg_variable_957 = poly(homalg_variable_12)/homalg_variable_12;