Changeset 4775bd in git

Timestamp:

May 12, 2011, 11:33:35 PM (12 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

dd2a9b3d2d1e9ae68171cc7c0f20c0d6b2aa0632

Parents:

e92dc4a2ac737df19d2c317609ccd85d14e7df55

Message:

*levandov: moduloSlim generalized to arbitrary matrices, embedMat introduced

git-svn-id: file:///usr/local/Singular/svn/trunk@14213 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/nctools.lib (modified) (6 diffs)

Singular/LIB/nctools.lib

@@ -36 +36 @@
 AltVarStart();       return first alternating variable of a super-commutative algebra,
 AltVarEnd();         return last alternating variable of a super-commutative algebra,
-IsSCA();             check whether current ring is a super-commutative algebra
-makeModElimRing(R);  equip a ring with module elimination ordering
+IsSCA();             check whether current ring is a super-commutative algebra,
+makeModElimRing(R);  equip a ring with module elimination ordering,
+embedMat(M,m,n);     embeds matrix M in a left upper corner of m times n matrix
 ";
 
@@ -1633 +1634 @@
 //////////////////////////////////////////////////////////////////////
 
-proc moduloSlim (module A, module B)
+proc embedMat(matrix A, int m, int n)
+"USAGE:  embedMat(A,m,n); A,B matrix/module
+RETURN:  matrix
+PURPOSE: embed A in the left upper corner of mxn matrix
+EXAMPLE: example embedMat; shows an example
+"
+{
+  // returns A embedded in the left upper corner of mxn matrix
+  int rA = nrows(A);
+  int cA = ncols(A);
+  if ((rA >m) || (cA>n))
+  {
+    ERROR("wrong dimensions of the new matrix");
+  }
+  matrix @M[m][n];
+  int i,j;
+  for(i=1;i<=rA; i++)
+  {
+    for(j=1;j<=cA; j++)
+    {
+      @M[i,j]=A[i,j];
+    }
+  }
+  return(@M);
+}
+example
+{
+  "EXAMPLE:"; echo = 2;
+  ring r = 0,(a,b,c,d),dp;
+  matrix M[2][3]; M[1,1]=a; M[1,2]=b;M[2,2]=d;M[1,3]=c;
+  print(M);
+  print(embedMat(M,3,4));
+  matrix N = M; N[2,2]=0;
+  print(embedMat(N,3,4));
+}
+
+proc moduloSlim (matrix A, matrix B)
 "USAGE:  moduloSlim(A,B); A,B module/matrix/ideal
 RETURN:  module
@@ -1641 +1678 @@
 {
   def save  = basering;
-  int rA = nrows(A);
-  if (rA != nrows(B))
-  {
-    // add 0 rows?
-    ERROR("incorrect input: different rank");
+  int rA = nrows(A);  int rB = nrows(B);
+  int cA = ncols(A);  int cB = ncols(B);
+  int j;
+  int dab; // difference a,b
+  dab = rA - rB;
+  if (dab <0)
+  {
+    // rA<rB: add zero rows to A
+    dab = -dab;
+    A = embedMat(A,rB,cA);
+  }
+  else 
+  {
+    // rA>rB: add zero rows to B
+    B = embedMat(B,rA,cB);
   }
   def mering = makeModElimRing(save);
@@ -1651 +1698 @@
   module A = imap(save, A);
   module B = imap(save, B);
-  int cA = ncols(A);  int cB = ncols(B);
   // create matrix C
   //  matrix C[2*rA][cA+cB];
@@ -1666 +1712 @@
 //   }
   C = C[2..ncols(C)];
+  print(C);
   matrix D = slimgb(C);
-  module E;
+  module E; int k;
+  // TODO: why only first row? need smth like rA rows...
   for(i=1; i<= ncols(D); i++)
   {
-    if (D[1,i]==0)
+    k=1;
+    // determine first zero in the column
+    while ( (D[k,i]==0) && (k<= cA+rA) )
+    {
+      k++;
+    }
+    // what can that be: k = cA+rA+1=> zero column
+    // k<=rA => column not in ker
+    // rA+1 <= k <= rA+cA => column in ker
+    if ( ( k>=rA+1) && (k<=rA+cA) )
     {
       E = E,D[i];
     }
   }
-  // this E has 1st column and 1st row zero
+//   for(i=1; i<= ncols(D); i++)
+//   {
+//     if (D[1,i]==0)
+//     {
+//       E = E,D[i];
+//     }
+//   }
+//  // this E has 1st column and 1st row zero
   // use submat@matrix.lib
-  E = submat(E,2..nrows(E),2..ncols(E));
-//   E = E[2..ncols(E)]; // skip 1st 0 row  //   E = transpose(E);
-//   E = E[2..ncols(E)]; // skip 1st 0 row //   E = transpose(E);
+  //  E = submat(E,intvec(2..nrows(E)),intvec(2..ncols(E)));
+  E = submat(E,intvec(rA+1..nrows(E)),intvec(2..ncols(E)));
   setring save;
   module E = imap(mering,E);
   kill mering;
+  // TODO: clean components!
   return(E);
 }
@@ -1701 +1765 @@
   T = std( NF(std(H2+T),H2) );
   T;
+  // now, a matrix example:
+  ring r2 = 0,(x,d), (dp);
+  def R = nc_algebra(1,1); setring R;
+  matrix M[2][2] = d, 0, 0, d*(x*d);
+  matrix P[2][1] = (8x+7)*d+9x, (x2+1)*d + 5*x;
+  module X = moduloSlim(P,M);
+  print(X);
 }