Changeset a3a116 in git for Singular

Timestamp:

Mar 25, 2011, 8:00:56 PM (13 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

611871aebf624c3f38dad1d47584a712f5bb90cf

Parents:

119e27bf4a3415daccdfebbe95c3e15772a8462c

Message:

*Simon Keicher: fixed projectlattices
*motsak: minor changes in examples

From: Oleksandr Motsak <motsak@mathematik.uni-kl.de>

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

File:

• Singular/LIB/multigrading.lib (modified) (4 diffs)

Singular/LIB/multigrading.lib

@@ -4674 +4674 @@
     0;
 
-  intmat L = preimageLattice(P,B);
-
-  print(L); // should be a (3x2)-matrix with columns e.g. [1,1,-1] and [0,3,-2] (the generated lattice should be identical)
-  
-  kill B, P, L;
-
+  // should be a (3x2)-matrix with columns e.g. [1,1,-1] and [0,3,-2] (the generated lattice should be identical)
+  print(preimageLattice(P,B));
 }
 
@@ -4784 +4780 @@
     if ( r == n )
     {
-      intmat U[n][1]; // U now is the n-dim zero-vector
+      intmat U[1][n]; // U now is the n-dim zero-vector
     }
     else
     {
       // we want a matrix with column operations so we transpose
-      list L = hermiteNormalForm(B, "transform"); //hermite(transpose(B), "transform");
+      intmat BB = transpose(B);
+      list L = hermiteNormalForm(BB, "transform"); 
       intmat U = transpose(L[2]);
 
+ 
       // delete rows 1 to r
       intmat Udel[nrows(U) - r][ncols(U)];
@@ -4822 +4820 @@
     4,8;
 
-  // should result in a (2x4)-matrix with columns
-  // [-1, 2], [2, -3], [-1, 0] and [0, 1]
-  intmat U = projectLattice(B);
+  // should result in a (2x4)-matrix such that the corresponding lattice is created by
+  // [-1, 2], [-2, 3], [-1, 0] and [0, 1]
+  print(projectLattice(B));
+
+  // another example
+
+  intmat BB[4][2] =
+    1,0,
+    0,1,
+    0,0,
+    0,0;
+
+  // should result in a (2x4)-matrix such that the corresponding lattice is created by
+  // [0,0],[0,0],[1,0],[0,1]
+  print(projectLattice(BB));
+
+  // one more example
+
+  intmat BBB[3][4] =
+    1,0,1,2,
+    1,1,0,0,
+    3,0,0,3;
+
+  // should result in the (1x3)-matrix that consists of just zeros
+  print(projectLattice(BBB));
 
 }
@@ -4914 +4934 @@
     8,11;
 
-  intmat U = intersectLattices(A,B);
-
-  // should result in a (2x4)-matrix with columns
+  // should result in a (3x2)-matrix with columns
   //  e.g. [3, 3, 3], [-3, 0, 3] (the lattice should be the same)
-  print(U);
+  print(intersectLattices(A,B));
 }