Changeset 343966 in git

Timestamp:

Sep 28, 2010, 6:27:37 PM (13 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

04e210843feb1167f9c6282699922f1756e760c5

Parents:

35b6ca571f5260579f60e2918659a4db705b4b5c

Message:

changes to 'multigrading.lib' due to Wolfram Decker
 


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

File:

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

Singular/LIB/multigrading.lib

@@ -10 +10 @@
 
 
-OVERVIEW: using this library allows one can virtually add multigrading to Singular.
+OVERVIEW: This library allows one to virtually add multigradings to Singular.
 For more see http://code.google.com/p/convex-singular/wiki/Multigrading
-For theoretical references see:
+For theoretical references see: 
 E. Miller, B. Sturmfels: 'Combinatorial Commutative Algebra' and
 M. Kreuzer, L. Robbiano: 'Computational Commutative Algebra'.
@@ -62 +62 @@
 PURPOSE: attaches weights of variables and torsion to the basering.
 NOTE: M encodes the weights of variables column-wise.
-The torsion is given by the lattice spanned by the columns of the integer
+The torsion is given by the lattice spanned by the columns of the integer 
 matrix T in Z^nrows(M) over Z.
 RETURN: nothing
@@ -74 +74 @@
 
   attrib(basering, attrMgrad, M);
-
+  
   if( size(#) > 0 and typeof(#[1]) == "intmat" )
   {
@@ -85 +85 @@
   if( nrows(T) == nrows(M) )
   {
-    attrib(basering, attrTorsion, T);
-    def H;
-    attrib(basering, attrTorsionHNF, H);
+    attrib(basering, attrTorsion, T);  
+//    def H;
+//    attrib(basering, attrTorsionHNF, H);        
   }
   else
@@ -97 +97 @@
 {
   "EXAMPLE:"; echo=2;
+   
   ring R = 0, (x, y, z), dp;
+
   // Weights of variables
   intmat M[3][3] =
@@ -103 +105 @@
     0, 1, 0,
     0, 0, 1;
+
   // Torsion:
   intmat L[3][2] =
     1, 1,
-    1, 3,
+    1, 3, 
     1, 5;
+   
   // attaches M & L to R (==basering):
   setBaseMultigrading(M, L); // Grading: Z^3/L
+
   // Weights are accessible via "getVariableWeights()":
-  getVariableWeights() == M;
-  getVariableWeights(R) == M;
-  getVariableWeights(basering) == M;
+  getVariableWeights();
+  
+  // Test all possible usages: 
+  (getVariableWeights() == M) && (getVariableWeights(R) == M) && (getVariableWeights(basering) == M);
+
   // Torsion is accessible via "getTorsion()":
-  getTorsion() == L;
-  getTorsion(R) == L;
-  getTorsion(basering) == L;
+  getTorsion();
+  
+  // Test all possible usages: 
+  (getTorsion() == L) && (getTorsion(R) == L) && (getTorsion(basering) == L);
+
   // And its hermite NF via getTorsion("hermite"):
+  getTorsion("hermite");
+
+  // Test all possible usages: 
   intmat H = hermite(L);
-  getTorsion("hermite") == H;
-  getTorsion(R, "hermite") == H;
-  getTorsion(basering, "hermite") == H;
+  (getTorsion("hermite") == H) && (getTorsion(R, "hermite") == H) && (getTorsion(basering, "hermite") == H);
+
   kill L, M;
+
   // ----------- isomorphic multigrading -------- //
+
   // Weights of variables
   intmat M[2][3] =
     1, -2, 1,
     1,  1, 0;
+
   // Torsion:
   intmat L[2][1] =
     0,
     2;
+   
   // attaches M & L to R (==basering):
   setBaseMultigrading(M, L); // Grading: Z + (Z/2Z)
+
   // Weights are accessible via "getVariableWeights()":
   getVariableWeights() == M;
+
   // Torsion is accessible via "getTorsion()":
   getTorsion() == L;
+
   kill L, M;
   // ----------- extreme case ------------ //
+
   // Weights of variables
   intmat M[1][3] =
     1,  -1, 10;
+
   // Torsion:
   intmat L[1][1] =
     0;
+   
   // attaches M & L to R (==basering):
   setBaseMultigrading(M); // Grading: Z^3
+
   // Weights are accessible via "getVariableWeights()":
   getVariableWeights() == M;
+
   // Torsion is accessible via "getTorsion()":
   getTorsion() == L;
@@ -185 +208 @@
   def M = attrib(R, attrMgrad);
   if( typeof(M) == "intmat"){ return (M); }
-  ERROR( "Sorry no multigrading matrix!" );
+  ERROR( "Sorry no multigrading matrix!" );  
 }
 example
 {
   "EXAMPLE:"; echo=2;
+   
   ring R = 0, (x, y, z), dp;
+
   // Weights of variables
   intmat M[3][3] =
@@ -196 +221 @@
     0, 1, 0,
     0, 0, 1;
+
   // Torsion:
   intmat L[3][2] =
     1, 1,
-    1, 3,
+    1, 3, 
     1, 5;
+   
   // attaches M & L to R (==basering):
   setBaseMultigrading(M, L); // Grading: Z^3/L
+
   // Weights are accessible via "getVariableWeights()":
   getVariableWeights() == M;
+
   kill L, M;
+
   // ----------- isomorphic multigrading -------- //
+
   // Weights of variables
   intmat M[2][3] =
     1, -2, 1,
     1,  1, 0;
+
   // Torsion:
   intmat L[2][1] =
     0,
     2;
+   
   // attaches M & L to R (==basering):
   setBaseMultigrading(M, L); // Grading: Z + (Z/2Z)
+
   // Weights are accessible via "getVariableWeights()":
   getVariableWeights() == M;
+
   kill L, M;
+
   // ----------- extreme case ------------ //
+
   // Weights of variables
   intmat M[1][3] =
     1,  -1, 10;
+
   // Torsion:
   intmat L[1][1] =
     0;
+   
   // attaches M & L to R (==basering):
   setBaseMultigrading(M); // Grading: Z^3
+
   // Weights are accessible via "getVariableWeights()":
   getVariableWeights() == M;
@@ -239 +279 @@
 RETURN: intmat, the torsion matrix, or its hermite normal form
         if an optional argument (\"hermite\") is given
+EXAMPLE: example getTorsion; shows an example
 "
 {
@@ -252 +293 @@
       def R = #[i];
       i++;
-    }
-  }
+    } 
+  } 
 
   if( !defined(R) )
@@ -264 +305 @@
     if( #[i] == "hermite" )
     {
-      if( typeof(attrib(R, attrTorsionHNF)) != "intmat" )
+      if( typeof(attrib(R, attrTorsionHNF)) != "intmat" ) 
       {
         def M = getTorsion(R);
         if( typeof(M) != "intmat")
-        {
-          ERROR( "Sorry no torsion matrix!" );
+        { 
+          ERROR( "Sorry no torsion matrix!" );  
         }
-        attrib(R, attrTorsionHNF, hermite(M)); // this might not work with R != basering...
-      }
+        M = hermite(M);
+        attrib(R, attrTorsionHNF, M); // this might not work with R != basering...
+      } 
       return (attrib(R, attrTorsionHNF));
     }
@@ -279 +321 @@
   def M = attrib(R, attrTorsion);
   if( typeof(M) != "intmat")
-  {
-    ERROR( "Sorry no torsion matrix!" );
+  { 
+    ERROR( "Sorry no torsion matrix!" );  
   }
   return (M);
@@ -287 +329 @@
 {
   "EXAMPLE:"; echo=2;
+   
   ring R = 0, (x, y, z), dp;
+
   // Weights of variables
   intmat M[3][3] =
@@ -293 +337 @@
     0, 1, 0,
     0, 0, 1;
+
   // Torsion:
   intmat L[3][2] =
     1, 1,
-    1, 3,
+    1, 3, 
     1, 5;
+   
   // attaches M & L to R (==basering):
   setBaseMultigrading(M, L); // Grading: Z^3/L
+
   // Torsion is accessible via "getTorsion()":
   getTorsion() == L;
+
   // its hermite NF:
   print(getTorsion("hermite"));
+
   kill L, M;
+
   // ----------- isomorphic multigrading -------- //
+
   // Weights of variables
   intmat M[2][3] =
     1, -2, 1,
     1,  1, 0;
+
   // Torsion:
   intmat L[2][1] =
     0,
     2;
+   
   // attaches M & L to R (==basering):
   setBaseMultigrading(M, L); // Grading: Z + (Z/2Z)
+
   // Torsion is accessible via "getTorsion()":
   getTorsion() == L;
+
   // its hermite NF:
   print(getTorsion("hermite"));
+
   kill L, M;
+
   // ----------- extreme case ------------ //
+
   // Weights of variables
   intmat M[1][3] =
     1,  -1, 10;
+
   // Torsion:
   intmat L[1][1] =
     0;
+   
   // attaches M & L to R (==basering):
   setBaseMultigrading(M); // Grading: Z^3
+
   // Torsion is accessible via "getTorsion()":
   getTorsion() == L;
+
   // its hermite NF:
   print(getTorsion("hermite"));
@@ -340 +402 @@
 "USAGE: getModuleGrading(m), 'm' module/vector
 RETURN: integer matrix of the multiweights of free module generators attached to 'm'
+EXAMPLE: example getModuleGrading; shows an example
 "
 {
@@ -356 +419 @@
       return (VV);
     }
-
+     
     ERROR("Sorry: vector or module need module-grading-matrix! See 'getModuleGrading'.");
   }
@@ -369 +432 @@
     ERROR("Sorry wrong width of V: " + string(ncols(V)));
   }
-
+   
   return (V);
 }
@@ -375 +438 @@
 {
   "EXAMPLE:"; echo=2;
+   
    ring R = 0, (x,y), dp;
    intmat M[2][2]=
@@ -382 +446 @@
      1,  2,  3,  4, 0,
      0, 10, 20, 30, 1;
+   
    setBaseMultigrading(M, T);
+   
    ideal I = x, y, xy^5;
    isHomogenous(I);
+ 
    intmat V = mDeg(I); print(V);
+
    module S = syz(I); print(S);
+   
    S = setModuleGrading(S, V);
+
    getModuleGrading(S) == V;
+   
    vector v = setModuleGrading(S[1], V);
    getModuleGrading(v) == V;
    isHomogenous(v);
-   print( mDeg(v) );
+   print( mDeg(v) );   
+   
    isHomogenous(S);
    print( mDeg(S) );
@@ -401 +473 @@
 "USAGE: setModuleGrading(m, G), m module/vector, G intmat
 PURPOSE: attaches the multiweights of free module generators to 'm'
-WARNING: The method does not verify that the multigrading makes the
+WARNING: The method does not verify whether the multigrading makes the
          module/vector homogenous. One can do that using isHomogenous(m).
+EXAMPLE: example setModuleGrading; shows an example
 "
 {
@@ -418 +491 @@
 {
   "EXAMPLE:"; echo=2;
+   
    ring R = 0, (x,y), dp;
    intmat M[2][2]=
@@ -425 +499 @@
      1,  2,  3,  4, 0,
      0, 10, 20, 30, 1;
+   
    setBaseMultigrading(M, T);
+   
    ideal I = x, y, xy^5;
    intmat V = mDeg(I);
+   
    // V == M; modulo T
    print(V);
+
    module S = syz(I);
+   
    S = setModuleGrading(S, V);
    getModuleGrading(S) == V;
+
    print(S);
+   
    vector v = S[1]; v = setModuleGrading(v, V);
    getModuleGrading(v) == V;
-   print( mDeg(v) );
+
+   print( mDeg(v) );   
+
    isHomogenous(S);
+
    print( mDeg(S) );
 }
@@ -449 +533 @@
 PURPOSE: Determines whether the multigrading attached to the current ring is torsion-free.
 RETURN: boolean, the result of the test
+EXAMPLE: example isTorsionFree; shows an example
 "
 {
 
-  intmat H = hermite(transpose(getTorsion("hermite"))); // TODO: ?cache it?
+  intmat H = hermite(transpose(getTorsion("hermite"))); // TODO: ?cache it?  //******
 
   int i, j;
@@ -465 +550 @@
 
     if(H[j, i]!=0)
-    {
+    { 
       d=d*H[j, i];
     }
@@ -471 +556 @@
 
   if( (d*d)==1 )
-  {
+  { 
     return(1==1);
   }
@@ -479 +564 @@
 {
   "EXAMPLE:"; echo=2;
+
    ring R = 0,(x,y),dp;
    intmat M[2][2]=
@@ -486 +572 @@
      1, 2, 3, 4, 0,
      0,10,20,30, 1;
+   
    setBaseMultigrading(M,T);
+   
    // Is the resulting group torsion free?
    isTorsionFree();
+
    kill R, M, T;
    ///////////////////////////////////////////
+
    ring R=0,(x,y,z),dp;
-   intmat A[3][3] =
+   intmat A[3][3] = 
      1,0,0,
      0,1,0,
@@ -503 +593 @@
    // Is the resulting group torsion free?
    isTorsionFree();
+
    kill R, A, B;
 }
@@ -511 +602 @@
 proc hermite(intmat A)
 "USAGE: hermite( A );
-PROCEDURE: Computes the Hermite Normal Form of the matrix A by column operations.
+PURPOSE: Computes the (lower triangular) Hermite Normal Form 
+           of the matrix A by column operations.
 RETURN: intmat, the Hermite Normal Form of A
+EXAMPLE: example hermite; shows an example
 "
 {
@@ -541 +634 @@
 
     if((i+l)>nrows(A)){ break; }
-
+    
     if(A[i+l, i]<0)
     {
@@ -573 +666 @@
 
               for(k=1;k<=nrows(A);k++)
-              {
+              { 
                 save=A[k, i];
                 A[k, i]=A[k, j];
@@ -583 +676 @@
             d=a2/A[i+l, i];
             for(k=1;k<=nrows(A);k++)
-            {
+            { 
               A[k, j]=A[k, j]- d*A[k, i];
             }
@@ -603 +696 @@
 {
   "EXAMPLE:"; echo=2;
-   intmat M[2][5] =
+
+   intmat M[2][5] = 
      1, 2, 3, 4, 0,
      0,10,20,30, 1;
+
    // Hermite Normal Form of M:
    print(hermite(M));
-   intmat T[3][4] =
+
+   intmat T[3][4] = 
      3,3,3,3,
      2,1,3,0,
      1,2,0,3;
+
    // Hermite Normal Form of T:
    print(hermite(T));
-   intmat A[4][5] =
+
+   intmat A[4][5] = 
      1,2,3,2,2,
      1,2,3,4,0,
      0,5,4,2,1,
      3,2,4,0,2;
+
    // Hermite Normal Form of A:
    print(hermite(A));
@@ -627 +726 @@
 proc isTorsionElement(intvec mdeg)
 "USAGE: isTorsionElement(intvec mdeg);
-PROCEDURE: For a integer vector mdeg representing the multidegree of some polynomial
+PURPOSE: For a integer vector mdeg representing the multidegree of some polynomial
 or vector this method computes if the multidegree is contained in the torsion
 group, i.e. if it is zero in the multigrading.
+EXAMPLE: example isTorsionElement; shows an example
 "
 {
@@ -647 +747 @@
 
       if(x!=0)
-      {
+      { 
         return(1==0);
       }
@@ -654 +754 @@
 
       for( k=1; k <= rr; k++)
-      {
+      { 
         mdeg[k] = mdeg[k] - x*H[k,i];
       }
@@ -666 +766 @@
 {
  "EXAMPLE:"; echo=2;
+
   ring r = 0,(x,y,z),dp;
+
   intmat g[2][3]=
     1,0,1,
@@ -673 +775 @@
     -2,
     1;
+
   setBaseMultigrading(g,t);
+
   poly a = x10yz;
   poly b = x8y2z;
@@ -680 +784 @@
   poly e = x2y2;
   poly f = z2;
+
   intvec v1 = mDeg(a) - mDeg(b);
   v1;
   isTorsionElement(v1);
+  
   intvec v2 = mDeg(a) - mDeg(c);
   v2;
   isTorsionElement(v2);
+  
   intvec v3 = mDeg(e) - mDeg(f);
   v3;
   isTorsionElement(v3);
+  
   intvec v4 = mDeg(c) - mDeg(d);
   v4;
@@ -698 +806 @@
 proc defineHomogenous(poly f, list #)
 "USAGE: defineHomogenous(f[, G]); polynomial f, integer matrix G
-PURPOSE: Yields a matrix which has to be appended to the torsion matrix to make the
+PURPOSE: Yields a matrix which has to be appended to the torsion matrix to make the 
 polynomial f homogenous in the grading by grad.
+EXAMPLE: example defineHomogenous; shows an example
 "
 {
-  if( size(#) > 0 )
-  {
-    if( typeof(#[1]) == "intmat" )
+  if( size(#) > 0 ) 
+  {
+    if( typeof(#[1]) == "intmat" ) 
     {
       intmat grad = #[1];
@@ -732 +841 @@
 {
   "EXAMPLE:"; echo=2;
+
   ring r =0,(x,y,z),dp;
-  intmat grad[2][3] =
+  intmat grad[2][3] = 
     1,0,1,
     0,1,1;
+
   setBaseMultigrading(grad);
+
   poly f = x2y3-z5+x-3zx;
+
   intmat M = defineHomogenous(f);
   M;
   defineHomogenous(f, grad) == M;
+  
   isHomogenous(f);
   setBaseMultigrading(grad, M);
@@ -754 +868 @@
 the torsion matrix may not be a subgroup of the grading group. Still all columns
 are needed to find the correct image of the preimage gradings.
+EXAMPLE: example pushForward; shows an example
 "
 {
 
   int k,i,j;
-  f;
-
-  intmat oldgrad=getVariableWeights(preimage(f));
-  intmat oldtor=getTorsion(preimage(f));
-
-  int n=nvars(preimage(f));
+//  f;
+
+  listvar();
+
+  def pre = preimage(f);
+  
+  "pre: ";
+  pre;
+
+  intmat oldgrad=getVariableWeights(pre);
+  intmat oldtor=getTorsion(pre);
+
+  int n=nvars(pre);
   int np=nvars(basering);
   int p=nrows(oldgrad);
@@ -846 +968 @@
 {
   "EXAMPLE:"; echo=2;
+
+  ring r = 0,(x,y,z),dp;
+  
+  
+
   // Setting degrees for preimage ring.;
-  intmat grad[3][3] =
+  intmat grad[3][3] = 
     1,0,0,
     0,1,0,
     0,0,1;
-  ring r = 0,(x,y,z),dp;
-  if (voice>1) {keepring(r);}
+
   setBaseMultigrading(grad);
+  
   // grading on r:
   getVariableWeights();
   getTorsion();
+
+  // only for the purpose of this example
+  if( voice > 1 ){ keepring(r); export(r); }
+
   ring R = 0,(a,b),dp;
-  ideal i=a2-b2+a6-b5+ab3,a7b+b15-ab6+a6b6;
+  ideal i = a2-b2+a6-b5+ab3,a7b+b15-ab6+a6b6;
+
   // The quotient ring by this ideal will become our image ring.;
   qring Q = std(i);
-  map f = r,-a2b6+b5+a3b+a2+ab,-a2b7-3a2b5+b4+a,a6-b6-b3+a2;
-  f;
+
+  listvar();
+  
+  map f = r,-a2b6+b5+a3b+a2+ab,-a2b7-3a2b5+b4+a,a6-b6-b3+a2; f;
+
+  
+  // TODO: Unfortunately this is not a very spectacular example...:
   // Pushing forward f:
   pushForward(f);
+
   // due to pushForward we have got new grading on Q
   getVariableWeights();
   getTorsion();
-  // TODO: Unfortunately this is not a very spectacular example.;
+  
+
+  // only for the purpose of this example
+  if( voice > 1 ){ kill r; }
+
 }
 
@@ -875 +1017 @@
 proc equalMDeg(intvec exp1, intvec exp2, list #)
 "USAGE: equalMDeg(exp1, exp2[, V]); intvec exp1, exp2, intmat V
-PURPOSE: Tests if the exponent vectors of two monomials (given by exp1 and exp2)
+PURPOSE: Tests if the exponent vectors of two monomials (given by exp1 and exp2) 
 represent the same multidegree.
-NOTE: the integer matrix V encodes multidegrees of module components,
+NOTE: the integer matrix V encodes multidegrees of module components, 
 if module component is present in exp1 and exp2
+EXAMPLE: example equalMDeg; shows an example
 "
 {
@@ -886 +1029 @@
   }
 
-  if( exp1 == exp2)
+  if( exp1 == exp2) 
   {
     return (1==1);
@@ -928 +1071 @@
 {
   "EXAMPLE:"; echo=2;
+
   ring r = 0,(x,y,z),dp;
+
   intmat g[2][3]=
     1,0,1,
     0,1,1;
+
   intmat t[2][1]=
     -2,
     1;
+
   setBaseMultigrading(g,t);
+
   poly a = x10yz;
   poly b = x8y2z;
@@ -942 +1090 @@
   poly e = x2y2;
   poly f = z2;
+
+
   equalMDeg(leadexp(a), leadexp(b));
   equalMDeg(leadexp(a), leadexp(c));
@@ -947 +1097 @@
   equalMDeg(leadexp(a), leadexp(e));
   equalMDeg(leadexp(a), leadexp(f));
+
   equalMDeg(leadexp(b), leadexp(c));
   equalMDeg(leadexp(b), leadexp(d));
   equalMDeg(leadexp(b), leadexp(e));
   equalMDeg(leadexp(b), leadexp(f));
+
   equalMDeg(leadexp(c), leadexp(d));
   equalMDeg(leadexp(c), leadexp(e));
   equalMDeg(leadexp(c), leadexp(f));
+
   equalMDeg(leadexp(d), leadexp(e));
   equalMDeg(leadexp(d), leadexp(f));
+
   equalMDeg(leadexp(e), leadexp(f));
+
 }
 
@@ -978 +1133 @@
 "USAGE: isHomogenous(a[, f]); a polynomial/vector/ideal/module
 RETURN: boolean, TRUE if a is (multi)homogenous, and FALSE otherwise
+EXAMPLE: example isHomogenous; shows an example
 "
 {
@@ -1017 +1173 @@
     def g = groebner(a); // !!!!
 
-    def b, aa; int j;
+    def b, aa; int j; 
     for( int i = ncols(a); i > 0; i-- )
     {
@@ -1037 +1193 @@
     }
     return(1==1);
-  }
+  }  
 }
 example
 {
   "EXAMPLE:"; echo=2;
+
   ring r = 0,(x,y,z),dp;
+
   //Grading and Torsion matrices:
-  intmat M[3][3] =
+  intmat M[3][3] = 
     1,0,0,
     0,1,0,
     0,0,1;
+
   intmat T[3][1] =
     1,2,3;
+
   setBaseMultigrading(M,T);
+
   attrib(r);
+
   poly f = x-yz;
+
   mDegPartition(f);
   print(mDeg(_));
+
   isHomogenous(f);   // f: is not homogenous
+
   poly g = 1-xy2z3;
   isHomogenous(g); // g: is homogenous
   mDegPartition(g);
+
   kill T;
   /////////////////////////////////////////////////////////
   // new Torsion matrix:
-  intmat T[3][4] =
+  intmat T[3][4] = 
     3,3,3,3,
     2,1,3,0,
     1,2,0,3;
+  
   setBaseMultigrading(M,T);
+
   f;
   isHomogenous(f);
   mDegPartition(f);
-  // ---------------------
+
+  // --------------------- 
   g;
   isHomogenous(g);
   mDegPartition(g);
+
   kill r, T, M;
+
   ring R = 0, (x,y,z), dp;
-  intmat A[2][3] =
+
+  intmat A[2][3] = 
     0,0,1,
     3,2,1;
-  intmat T[2][1] =
-    -1,
+  intmat T[2][1] = 
+    -1, 
      4;
   setBaseMultigrading(A, T);
+
   isHomogenous(ideal(x2 - y3 -xy +z, x*y-z, x^3 - y^2*z + x^2 -y^3)); // 1
   isHomogenous(ideal(x2 - y3 -xy +z, x*y-z, x^3 - y^2*z + x^2 -y^3), "checkGens");
   isHomogenous(ideal(x+y, x2 - y2)); // 0
+
   // Degree partition:
   mDegPartition(x2 - y3 -xy +z);
   mDegPartition(x3 -y2z + x2 -y3 + z + 1);
+
+  
   module N = gen(1) + (x+y) * gen(2), z*gen(3);
+
   intmat V[2][3] = 0; // 1, 2, 3,  4, 5, 6; //  column-wise weights of components!!??
+ 
   vector v1, v2;
+ 
   v1 = setModuleGrading(N[1], V); v1;
   mDegPartition(v1);
   print( mDeg(_) );
+
   v2 = setModuleGrading(N[2], V); v2;
   mDegPartition(v2);
   print( mDeg(_) );
+
   N = setModuleGrading(N, V);
   isHomogenous(N);
   print( mDeg(N) );
-  ///////////////////////////////////////
-  V =
-    1, 2, 3,
+
+  /////////////////////////////////////// 
+
+  V = 
+    1, 2, 3,  
     4, 5, 6;
+
   v1 = setModuleGrading(N[1], V); v1;
   mDegPartition(v1);
   print( mDeg(_) );
+
   v2 = setModuleGrading(N[2], V); v2;
   mDegPartition(v2);
   print( mDeg(_) );
+
   N = setModuleGrading(N, V);
   isHomogenous(N);
   print( mDeg(N) );
-  ///////////////////////////////////////
-  V =
-    0, 0, 0,
+
+  /////////////////////////////////////// 
+
+  V = 
+    0, 0, 0,  
     4, 1, 0;
+
   N = gen(1) + x * gen(2), z*gen(3);
-  N = setModuleGrading(N, V); N;
+  N = setModuleGrading(N, V); print(N);
   isHomogenous(N);
   print( mDeg(N) );
-  v1 = setModuleGrading(N[1], V); v1;
+  v1 = setModuleGrading(N[1], V); print(v1);
   mDegPartition(v1);
   print( mDeg(_) );
-  N = setModuleGrading(N, V); N;
+  N = setModuleGrading(N, V); print(N);
   isHomogenous(N);
   print( mDeg(N) );
@@ -1132 +1321 @@
 /******************************************************/
 proc mDeg(def A)
-"USAGE: mDeg(A); any A
+"USAGE: mDeg(A); polynomial/vector/ideal/module A
 PURPOSE: compute multidegree
+EXAMPLE: example mDeg; shows an example
 "
 {
@@ -1179 +1369 @@
     A = A - lead(A);
     while( size(A) > 0 )
-    {
+    { 
       v = leadexp(A); //  v;
       m = max( m, M * v, r ); // ????
@@ -1200 +1390 @@
     A = A - lead(A);
     while( size(A) > 0 )
-    {
+    { 
       v = leadexp(A); //  v;
 
@@ -1225 +1415 @@
       {
         G[j, i] = d[j];
-      }
+      }      
     }
     return(G);
@@ -1239 +1429 @@
       v = setModuleGrading(A[i], V);
 
-      // G[1..r, i]
+      // G[1..r, i] 
       d = mDeg(v);
 
@@ -1245 +1435 @@
       {
         G[j, i] = d[j];
-      }
+      }      
 
     }
@@ -1251 +1441 @@
     return(G);
   }
-
+ 
 }
 example
 {
   "EXAMPLE:"; echo=2;
+
   ring r = 0,(x, y), dp;
+
   intmat A[2][2] = 1, 0, 0, 1;
   print(A);
+
   intmat Ta[2][1] = 0, 3;
   print(Ta);
+
   //   attrib(A, "torsion", Ta); // to think about
+
 //  "poly:";
   setBaseMultigrading(A);
+
+
   mDeg( x*x, A );
   mDeg( y*y*y, A );
+
   setBaseMultigrading(A, Ta);
+  
   mDeg( x*x*y );
+  
   mDeg( y*y*y*x );
+  
   mDeg( x*y + x + 1 );
+
   mDegPartition(x*y + x + 1);
+
   print ( mDeg(0) );
   poly zero = 0;
   print ( mDeg(zero) );
+
 //  "ideal:";
+  
   ideal I = y*x*x, x*y*y*y;
   print( mDeg(I) );
+
   print ( mDeg(ideal(0)) );
   print ( mDeg(ideal(0,0,0)) );
+
 //  "vectors:";
+  
   intmat B[2][2] = 0, 1, 1, 0;
   print(B);
+  
   mDeg( setModuleGrading(y*y*y*gen(2), B ));
   mDeg( setModuleGrading(x*x*gen(1), B ));
+
+  
   vector V = x*gen(1) + y*gen(2);
   V = setModuleGrading(V, B);
   mDeg( V );
+
   vector v1 = setModuleGrading([0, 0, 0], B);
   print( mDeg( v1 ) );
+  
   vector v2 = setModuleGrading([0], B);
   print( mDeg( v2 ) );
+
 //  "module:";
+  
   module D = x*gen(1), y*gen(2);
   D;
   D = setModuleGrading(D, B);
   print( mDeg( D ) );
+  
+
   module DD = [0, 0],[0, 0, 0];
   DD = setModuleGrading(DD, B);
   print( mDeg( DD ) );
+
   module DDD = [0, 0];
   DDD = setModuleGrading(DDD, B);
   print( mDeg( DDD ) );
+
 };
 
@@ -1312 +1531 @@
 "USAGE: mDegPartition(def p), p polynomial/vector
 RETURNS: an ideal/module consisting of multigraded-homogeneous parts of p
+EXAMPLE: example mDegPartition; shows an example
 "
 {
-  if( typeof(p) == "poly" )
-  {
-    ideal I;
+  if( typeof(p) == "poly" ) 
+  {
+    ideal I;      
     poly mp, t, tt;
   }
@@ -1323 +1543 @@
     if(  typeof(p) == "vector" )
     {
-      module I;
+      module I;      
       vector mp, t, tt;
     }
@@ -1334 +1554 @@
   if( typeof(p) == "vector" )
   {
-    intmat V = getModuleGrading(p);
+    intmat V = getModuleGrading(p); 
   }
   else
@@ -1341 +1561 @@
   }
 
-  if( size(p) > 1)
+  if( size(p) > 1) 
   {
     intvec m;
@@ -1348 +1568 @@
     {
       m = leadexp(p);
-      mp = lead(p);
+      mp = lead(p); 
       p = p - lead(p);
       tt = p; t = 0;
 
       while( size(tt) > 0 )
-      {
-        // TODO: we make no caching of matrices (M,T,H,V), which remain the same!
-        if( equalMDeg( leadexp(tt), m, V  ) )
+      { 
+        // TODO: we do not cache matrices (M,T,H,V), which remain the same :(
+        // TODO: we need some low-level procedure with all these arguments...!
+        if( equalMDeg( leadexp(tt), m, V  ) ) 
         {
           mp = mp + lead(tt); // "mp", mp;
@@ -1387 +1608 @@
 {
   "EXAMPLE:"; echo=2;
+
   ring r = 0,(x,y,z),dp;
+
   intmat g[2][3]=
     1,0,1,
@@ -1394 +1617 @@
     -2,
     1;
+
   setBaseMultigrading(g,t);
+
   poly f = x10yz+x8y2z-x4z2+y5+x2y2-z2+x17z3-y6;
+
   mDegPartition(f);
+  
   vector v = xy*gen(1)-x3y2*gen(2)+x4y*gen(3);
   intmat B[2][3]=1,-1,-2,0,0,1;
   v = setModuleGrading(v,B);
   getModuleGrading(v);
+  
   mDegPartition(v, B);
 }
@@ -1410 +1638 @@
 {
   intmat A[n][n];
-
+  
   for( int i = n; i > 0; i-- )
   {
@@ -1424 +1652 @@
 static proc finestMDeg(def r)
 "
-USAGE:
-PURPOSE: finest multigrading
+USAGE: finestMDeg(r); ring r
+RETURN: ring, r endowed with the finest multigrading 
+TODO: not yet...
 "
 {
@@ -1453 +1682 @@
 
 
-  if( n > 0)
-  {
-
-    intmat L[N][n];
+  if( n > 0) 
+  {
+
+    intmat L[N][n]; 
     //  list L;
     int j = n;
@@ -1464 +1693 @@
       p = I[i];
 
-      if( size(p) > 1 )
+      if( size(p) > 1 ) 
       {
         intvec m0 = leadexp(p);
@@ -1479 +1708 @@
 
     print(L);
-    setBaseMultigrading(A, L);
-  }
+    setBaseMultigrading(A, L);      
+  } 
   else
   {
@@ -1496 +1725 @@
 {
   "EXAMPLE:"; echo=2;
+
   ring r = 0,(x, y), dp;
   qring q  = std(x^2 - y);
+
   finestMDeg(q);
+
 }
 
@@ -1507 +1739 @@
 static proc newMap(map F, intmat Q, list #)
 "
-USAGE: ?? no use now...
-PURPOSE: ??
+USAGE: newMap(F, Q[, P]); map F, intmat Q[, intmat P]
+PURPOSE: endowe the map F with the integer matrices P [and Q]
 "
 {
@@ -1514 +1746 @@
 
   if( size(#) > 0 and typeof(#[1]) == "intmat" )
-  {
+  { 
     attrib(F, "P", #[1]);
   }
   return (F);
 }
-
 
 /******************************************************/
@@ -1565 +1796 @@
 {
   "EXAMPLE:"; echo=2;
+
   ring r= 0,(x,y,z),dp;
   matrix M[3][1] = x,y,z;
@@ -1584 +1816 @@
 @*       i=int
 ASSUME:  - A is a matrix with integer entries which describes the lattice
-@*         as ker(A), if second argument is not present,
+@*         as ker(A), if second argument is not present, and
 @*         as the left image Im(A) = {zA : z \in ZZ^k}, if second argument is a positive integer
 @*       - number of variables of basering equals number of columns of A
@@ -1649 +1881 @@
    j=system("sh","hilbert -q -n sing4ti2"); ////////// be quiet + no loggin!!!
 
-   j=system("sh", "awk \'BEGIN{ORS=\",\";}{print $0;}\' sing4ti2.hil " +
-                "| sed s/[\\\ \\\t\\\v\\\f]/,/g " +
-                "| sed s/,+/,/g|sed s/,,/,/g " +
-                "| sed s/,,/,/g " +
+   j=system("sh", "awk \'BEGIN{ORS=\",\";}{print $0;}\' sing4ti2.hil " + 
+                "| sed s/[\\\ \\\t\\\v\\\f]/,/g " + 
+                "| sed s/,+/,/g|sed s/,,/,/g " + 
+                "| sed s/,,/,/g " + 
                 "> sing4ti2.converted" );
    if( defined(keepfiles) <= 0)
@@ -1668 +1900 @@
    string ergstr = "intvec erglist = " + s + "0;";
    execute(ergstr);
-
+  
    //   print(erglist);
-
+  
    int Rnc = erglist[1];
    int Rnr = erglist[2];
-
+   
    intmat R[Rnr][Rnc];
 
@@ -1697 +1929 @@
 {
   "EXAMPLE:"; echo=2;
+
    ring r=0,(x1,x2,x3,x4,x5,x6,x7,x8,x9),dp;
    intmat M[7][9]=
@@ -1738 +1971 @@
 
 /******************************************************/
-proc mDegBasis(intvec d)
+proc mDegBasis(intvec d) 
 "
 USAGE: multidegree d
 ASSUME: current ring is multigraded, monomial ordering is global
 PURPOSE: compute all monomials of multidegree d
+EXAMPLE: example mDegBasis; shows an example
 "
 {
@@ -1781 +2015 @@
 
     intmat AA[nr][nc + 2 * n];
-    AA[1..nr, 1.. nc] = A[1..nr, 1.. nc];
-    AA[1..nr, nc + (1.. n)] = T[1..nr, 1.. n];
-    AA[1..nr, nc + n + (1.. n)] = -T[1..nr, 1.. n];
+    AA[1..nr, 1.. nc] = A[1..nr, 1.. nc]; 
+    AA[1..nr, nc + (1.. n)] = T[1..nr, 1.. n]; 
+    AA[1..nr, nc + n + (1.. n)] = -T[1..nr, 1.. n]; 
 
 
     //      print ( AA );
 
-    intmat K = leftKernelZ(( AA ) ); //
+    intmat K = leftKernelZ(( AA ) ); // 
 
     //      print(K);
@@ -1797 +2031 @@
     //      "!";
 
-    intmat B = hilbert4ti2intmat(transpose(KK), 1);
+    intmat B = hilbert4ti2intmat(transpose(KK), 1);  
 
     //      "!";      print(B);
@@ -1808 +2042 @@
 
 
-  int i;
+  int i;  
   int nnr = nrows(B);
   int nnc = ncols(B);
@@ -1859 +2093 @@
 {
   "EXAMPLE:"; echo=2;
+
   ring R = 0, (x, y), dp;
+
   intmat g1[2][2]=1,0,0,1;
   intmat t[2][1]=2,0;
@@ -1865 +2101 @@
   intvec v1=4,0;
   intvec v2=4,4;
+  
   intmat g3[1][2]=1,1;
   setBaseMultigrading(g3);
@@ -1870 +2107 @@
   v3;
   mDegBasis(v3);
+  
   setBaseMultigrading(g1,t);
   mDegBasis(v1);
   setBaseMultigrading(g2);
   mDegBasis(v2);
+  
   intmat M[2][2] = 1, -1, -1, 1;
   intvec d = -2, 2;
+
   setBaseMultigrading(M);
+
   mDegBasis(d);
   attrib(_, "ZeroPart");
+
   kill R;
   ring R = 0, (x, y, z), dp;
+
   intmat M[2][3] = 1, -2, 1,     1, 1, 0;
+
   intmat T[2][1] = 0, 2;
+
   intvec d = 4, 1;
+
   setBaseMultigrading(M, T);
+
   mDegBasis(d);
   attrib(_, "ZeroPart");
+
+
   kill R;
+
   ring R = 0, (x, y, z), dp;
   qring Q = std(ideal( y^6+ x*y^3*z-x^2*z^2 ));
+
+
   intmat M[2][3] = 1, 1, 2,     2, 1, 1;
   //  intmat T[2][1] = 0, 2;
+
   setBaseMultigrading(M);
+
   intvec d = 6, 6;
   mDegBasis(d);
   attrib(_, "ZeroPart");
+
+
+
   kill R;
   ring R = 0, (x, y, z), dp;
   qring Q = std(ideal( x*z^3 - y *z^6, x*y*z  - x^4*y^2 ));
+
+
   intmat M[2][3] = 1, -2, 1,     1, 1, 0;
   intmat T[2][1] = 0, 2;
+
   intvec d = 4, 1;
+
   setBaseMultigrading(M, T);
+
   mDegBasis(d);
   attrib(_, "ZeroPart");
@@ -1910 +2172 @@
 proc mDegSyzygy(def I)
 "USAGE: mDegSyzygy(I); I is a poly/vector/ideal/module
-PURPOSE: computes the multigraded syzygy of I
-RETURNS: module, the syzygy of I
-NOTE: generators of I must be multigraded homogeneous
+PURPOSE: computes the multigraded syzygy module of I
+RETURNS: module, the syzygy module of I
+NOTE: generators of I must be multigraded homogeneous 
+EXAMPLE: example mDegSyzygy; shows an example
 "
 {
-  if( isHomogenous(I, "checkGens") == 0)
-  {
-    ERROR ("Sorry: inhomogenous input!");
-  }
+  if( isHomogenous(I, "checkGens") == 0) 
+  { 
+    ERROR ("Sorry: inhomogenous input!"); 
+  } 
   module S = syz(I);
   S = setModuleGrading(S, mDeg(I));
@@ -1926 +2189 @@
 {
   "EXAMPLE:"; echo=2;
+  
+
   ring r = 0,(x,y,z,w),dp;
   intmat MM[2][4]=
@@ -1932 +2197 @@
   setBaseMultigrading(MM);
   module M = ideal(  xw-yz, x2z-y3, xz2-y2w, yw2-z3);
+  
+ 
   intmat v[2][nrows(M)]=
     1,
     0;
+  
   M = setModuleGrading(M, v);
+
   isHomogenous(M);
   "Multidegrees: "; print(mDeg(M));
-  // Let's compute Syzygy!
+  // Let's compute syzygies!
   def S = mDegSyzygy(M); S;
   "Module Units Multigrading: "; print( getModuleGrading(S) );
   "Multidegrees: "; print(mDeg(S));
+
   isHomogenous(S);
 }
@@ -1949 +2219 @@
 "USAGE: mDegGroebner(I); I is a poly/vector/ideal/module
 PURPOSE: computes the multigraded standard/groebner basis of I
-NOTE: I must be multigraded homogeneous
+NOTE: I must be multigraded homogeneous 
 RETURNS: ideal/module, the computed basis
+EXAMPLE: example mDegGroebner; shows an example
 "
 {
-  if( isHomogenous(I) == 0)
-  {
-    ERROR ("Sorry: inhomogenous input!");
-  }
+  if( isHomogenous(I) == 0) 
+  { 
+    ERROR ("Sorry: inhomogenous input!"); 
+  } 
 
   def S = groebner(I);
-
+  
   if( typeof(I) == "module" or typeof(I) == "vector" )
   {
-    S = setModuleGrading(S, getModuleGrading(I));
+    S = setModuleGrading(S, getModuleGrading(I));      
   }
 
@@ -1979 +2250 @@
   setBaseMultigrading(MM);
 
-
+  
   module M = ideal(  xw-yz, x2z-y3, xz2-y2w, yw2-z3);
-
-
+  
+ 
   intmat v[2][nrows(M)]=
     1,
     0;
-
+  
   M = setModuleGrading(M, v);
 
@@ -2019 +2290 @@
 proc mDegResolution(def I, int ll, list #)
 "USAGE: mDegResolution(I,l,[f]); I is poly/vector/ideal/module; l,f are integers
-PURPOSE: computes the multigraded resolution of I of the length l,
-or the whole resolution if l is zero. Returns minimal resolution if an optional
+PURPOSE: computes the multigraded resolution of I of the length l, 
+or the whole resolution if l is zero. Returns minimal resolution if an optional 
 argument 1 is supplied
 NOTE: input must have multigraded-homogeneous generators.
-The returned list is trunkated at the first zero entry.
+The returned list is truncated beginning with the first zero differential.   
 RETURNS: list, the computed resolution
+EXAMPLE: example mDegResolution; shows an example
 "
 {
-  if( isHomogenous(I, "checkGens") == 0)
-  {
-    ERROR ("Sorry: inhomogenous input!");
-  }
+  if( isHomogenous(I, "checkGens") == 0) 
+  { 
+    ERROR ("Sorry: inhomogenous input!"); 
+  } 
 
   def R = res(I, ll, #); list L = R; int l = size(L);
@@ -2036 +2308 @@
   if( (typeof(I) == "module") or (typeof(I) == "vector") )
   {
-    L[1] = setModuleGrading(L[1], getModuleGrading(I));
-  }
-
-  int i;
+    L[1] = setModuleGrading(L[1], getModuleGrading(I));      
+  }
+
+  int i; 
   for( i = 2; i <= l; i++ )
   {
@@ -2050 +2322 @@
     }
   }
-
+ 
   return (L);
 
-
+  
 }
 example
 {
   "EXAMPLE:"; echo=2;
+  
   ring r = 0,(x,y,z,w),dp;
+
   intmat M[2][4]=
     1,1,1,1,
     0,1,3,4;
+
   setBaseMultigrading(M);
+
+  
   module m= ideal(  xw-yz, x2z-y3, xz2-y2w, yw2-z3);
+  
   isHomogenous(ideal(  xw-yz, x2z-y3, xz2-y2w, yw2-z3), "checkGens");
+  
   ideal A = xw-yz, x2z-y3, xz2-y2w, yw2-z3;
+
   int j;
+  
   for(j=1; j<=ncols(A); j++)
   {
     mDegPartition(A[j]);
   }
+  
   intmat v[2][1]=
     1,
     0;
+  
   m = setModuleGrading(m, v);
+
   // Let's compute Syzygy!
   def S = mDegSyzygy(m); S;
   "Module Units Multigrading: "; print( getModuleGrading(S) );
   "Multidegrees: "; print(mDeg(S));
+
   /////////////////////////////////////////////////////////////////////////////
+
   S = mDegGroebner(S); S;
   "Module Units Multigrading: "; print( getModuleGrading(S) );
   "Multidegrees: "; print(mDeg(S));
+
   /////////////////////////////////////////////////////////////////////////////
+
   def L = mDegResolution(m, 0, 1);
+
   for( j =1; j<=size(L); j++)
   {
@@ -2092 +2381 @@
     "Multigrading: "; print(mDeg(L[j]));
   }
+
   /////////////////////////////////////////////////////////////////////////////
+  
   L = mDegResolution(maxideal(1), 0, 1);
+
   for( j =1; j<=size(L); j++)
   {
@@ -2101 +2393 @@
     "Multigrading: "; print(mDeg(L[j]));
   }
+  
   kill v;
+  
+
   def h = hilbertSeries(m);
   setring h;
+
   numerator1;
   factorize(numerator1);
+  
   denominator1;
   factorize(denominator1);
+
   numerator2;
   factorize(numerator2);
+
   denominator2;
   factorize(denominator2);
@@ -2117 +2416 @@
 proc hilbertSeries(def I)
 "USAGE: hilbertSeries(I); I is poly/vector/ideal/module
-PURPOSE: computes the multigraded Hilbert Series of M
-NOTE: input must have multigraded-homogeneous generators.
+PURPOSE: computes the multigraded Hilbert Series of M 
+NOTE: input must have multigraded-homogeneous generators. 
 Multigrading should be positive.
-RETURNS: a ring in variables t_(i), s_(i), with polynomials
-numerator1 and denominator1 and muturally prime numerator2
+RETURNS: a ring in variables t_(i), s_(i), with polynomials 
+numerator1 and denominator1 and muturally prime numerator2 
 and denominator2, quotients of which give the series.
+EXAMPLE: example hilbertSeries; shows an example
 "
 {
-
+   
   if( !isFreeRepresented() )
   {
     ERROR("SORRY: ONLY TORSION-FREE CASE (POSITIVE GRADING)");
   }
-
+   
   int i, j, k, v;
 
   intmat M = getVariableWeights();
-
+  
   int cc = ncols(M);
   int n = nrows(M);
@@ -2146 +2446 @@
 
   int l = size(RES);
-
+  
   list L; L[l + 1] = 0;
 
@@ -2153 +2453 @@
     intmat zeros[n][1];
     L[1] = zeros;
-  }
+  } 
   else
   {
@@ -2163 +2463 @@
     L[j + 1] = mDeg(RES[j]);
   }
-
+  
   l++;
 
   ring R = 0,(t_(1..n),s_(1..n)),dp;
-
-  ideal units;
+  
+  ideal units; 
   for( i=n; i>=1; i--)
   {
     units[i] = (var(i) * var(n + i) - 1);
   }
-
+  
   qring Q = std(units);
-
+  
   // TODO: should not it be a quotient ring depending on Torsion???
   // I am not sure about what to do in the torsion case, but since
@@ -2184 +2484 @@
   poly monom, summand, numerator;
   poly denominator = 1;
-
+  
   for( i = 1; i <= cc; i++)
   {
@@ -2196 +2496 @@
       {
         monom = monom * (var(k)^(v));
-      }
+      } 
       else
       {
@@ -2202 +2502 @@
       }
     }
-
+    
     if( monom == 1)
     {
@@ -2210 +2510 @@
     denominator = denominator * (1 - monom);
   }
-
-  for( j = 1; j<= l; j++)
+  
+  for( j = 1; j<= l; j++) 
   {
     summand = 0;
@@ -2225 +2525 @@
         {
           monom = monom * (var(k)^v);
-        }
+        } 
         else
         {
@@ -2235 +2535 @@
     numerator = numerator - (-1)^j * summand;
   }
-
+  
   if( denominator == 0 )
   {
     ERROR("Multigrading not positive.");
-  }
-
+  } 
+  
   poly denominator1 = denominator;
   poly numerator1 = numerator;
@@ -2274 +2574 @@
   "The s_(i)-variables are defined to be the inverse of the t_(i)-variables.";
   " ------------ ";
-
+  
   return(Q);
 }
@@ -2280 +2580 @@
 {
   "EXAMPLE:"; echo=2;
+  
   ring r = 0,(x,y,z,w),dp;
   intmat g[2][4]=
@@ -2285 +2586 @@
     0,1,3,4;
   setBaseMultigrading(g);
+  
   module M = ideal(xw-yz, x2z-y3, xz2-y2w, yw2-z3);
   intmat V[2][1]=
     1,
     0;
+
   M = setModuleGrading(M, V);
+
   def h = hilbertSeries(M); setring h;
+
   factorize(numerator2);
   factorize(denominator2);
+  
   kill g, h; setring r;
+
   intmat g[2][4]=
     1,2,3,4,
     0,0,5,8;
+  
   setBaseMultigrading(g);
+  
   ideal I = x^2, y, z^3;
   I = std(I);
   def L = mDegResolution(I, 0, 1);
+
   for( int j = 1; j<=size(L); j++)
   {
@@ -2308 +2618 @@
     "Multigrading: "; print(mDeg(L[j]));
   }
+
   mDeg(I);
   def h = hilbertSeries(I); setring h;
+  
   factorize(numerator2);
   factorize(denominator2);
+
   kill r, h, g, V;
   ////////////////////////////////////////////////
   ring R = 0,(x,y,z),dp;
-  intmat W[2][3] =
+  intmat W[2][3] = 
      1,1, 1,
      0,0,-1;
   setBaseMultigrading(W);
   ideal I = x3y,yz2,y2z,z4;
+  
   def h = hilbertSeries(I); setring h;
+  
   factorize(numerator2);
   factorize(denominator2);
+
   kill R, W, h;
   ////////////////////////////////////////////////
   ring R = 0,(x,y,z,a,b,c),dp;
-  intmat W[2][6] =
+  intmat W[2][6] = 
      1,1, 1,1,1,1,
      0,0,-1,0,0,0;
   setBaseMultigrading(W);
   ideal I = x3y,yz2,y2z,z4;
+  
   def h = hilbertSeries(I); setring h;
+  
   factorize(numerator2);
   factorize(denominator2);
+  
   kill R, W, h;
   ////////////////////////////////////////////////
   // This is example 5.3.9. from Robbianos book.
+  
   ring R = 0,(x,y,z,w),dp;
-  intmat W[1][4] =
+  intmat W[1][4] = 
      1,1, 1,1;
   setBaseMultigrading(W);
   ideal I = z3,y3zw2,x2y4w2xyz2;
+
   hilb(std(I));
+  
   def h = hilbertSeries(I); setring h;
+  
   numerator1;
   denominator1;
+
   factorize(numerator2);
   factorize(denominator2);
+  
+
   kill h;
   ////////////////////////////////////////////////
   setring R;
+
   ideal I2 = x2,y2,z2; I2;
+
   hilb(std(I2));
+  
   def h = hilbertSeries(I2); setring h;
+
   numerator1;
   denominator1;
+
+
   kill h;
   ////////////////////////////////////////////////
   setring R;
+  
   W = 2,2,2,2;
+  
   setBaseMultigrading(W);
+
   getVariableWeights();
+
   intvec w = 2,2,2,2;
+
   hilb(std(I2), 1, w);
+
   kill w;
+  
+
   def h = hilbertSeries(I2); setring h;
+
+  
   numerator1; denominator1;
   kill h;
+
+  
   kill R, W;
+
   ////////////////////////////////////////////////
   ring R = 0,(x),dp;
@@ -2374 +2719 @@
      1;
   setBaseMultigrading(W);
+
   ideal I;
+
   I = 1; I;
+
   hilb(std(I));
+  
   def h = hilbertSeries(I); setring h;
+
   numerator1; denominator1;
+
   kill h;
   ////////////////////////////////////////////////
   setring R;
+
   I = x; I;
+
   hilb(std(I));
+
   def h = hilbertSeries(I); setring h;
+
   numerator1; denominator1;
+  
+  kill h;  
+  ////////////////////////////////////////////////
+  setring R;
+
+  I = x^5; I;
+
+  hilb(std(I));
+  hilb(std(I), 1);
+
+  def h = hilbertSeries(I); setring h;
+
+  numerator1; denominator1;
+  
+  
+  kill h;  
+  ////////////////////////////////////////////////
+  setring R;
+
+  I = x^10; I;
+
+  hilb(std(I));
+
+  def h = hilbertSeries(I); setring h;
+
+  numerator1; denominator1;
+
   kill h;
   ////////////////////////////////////////////////
   setring R;
-  I = x^5; I;
-  hilb(std(I));
-  hilb(std(I), 1);
-  def h = hilbertSeries(I); setring h;
+
+  module M = 1;
+
+  M = setModuleGrading(M, W);
+
+  
+  hilb(std(M));
+
+  def h = hilbertSeries(M); setring h;
+
   numerator1; denominator1;
+
   kill h;
   ////////////////////////////////////////////////
   setring R;
-  I = x^10; I;
-  hilb(std(I));
-  def h = hilbertSeries(I); setring h;
+
+  kill M; module M = x^5*gen(1);
+//  intmat V[1][3] = 0; // TODO: this would lead to a wrong result!!!? 
+  intmat V[1][1] = 0; // all gen(i) of degree 0!
+
+  M = setModuleGrading(M, V);
+
+  hilb(std(M));
+
+  def h = hilbertSeries(M); setring h;
+
   numerator1; denominator1;
+
   kill h;
   ////////////////////////////////////////////////
-  setring R;
-  module M = 1;
-  M = setModuleGrading(M, W);
-  hilb(std(M));
-  def h = hilbertSeries(M); setring h;
+  setring R; 
+
+  module N = x^5*gen(3);
+
+  kill V;
+  
+  intmat V[1][3] = 0; // all gen(i) of degree 0!
+
+  N = setModuleGrading(N, V);
+      
+  hilb(std(N));
+
+  def h = hilbertSeries(N); setring h;
+
   numerator1; denominator1;
+
   kill h;
   ////////////////////////////////////////////////
-  setring R;
-  kill M; module M = x^5*gen(1);
-//  intmat V[1][3] = 0; // TODO: this would lead to a wrong result!!!?
-  intmat V[1][1] = 0; // all gen(i) of degree 0!
-  M = setModuleGrading(M, V);
-  hilb(std(M));
-  def h = hilbertSeries(M); setring h;
+  setring R; 
+
+  
+  module S = M + N;
+  
+  S = setModuleGrading(S, V);
+
+  hilb(std(S));
+
+  def h = hilbertSeries(S); setring h;
+
   numerator1; denominator1;
+
   kill h;
-  ////////////////////////////////////////////////
-  setring R;
-  module N = x^5*gen(3);
-  kill V;
-  intmat V[1][3] = 0; // all gen(i) of degree 0!
-  N = setModuleGrading(N, V);
-  hilb(std(N));
-  def h = hilbertSeries(N); setring h;
-  numerator1; denominator1;
-  kill h;
-  ////////////////////////////////////////////////
-  setring R;
-  module S = M + N;
-  S = setModuleGrading(S, V);
-  hilb(std(S));
-  def h = hilbertSeries(S); setring h;
-  numerator1; denominator1;
-  kill h;
+
   kill V;
   kill R, W;
+
 }
 
@@ -2448 +2845 @@
 proc testMultigradingLib ()
 {
+  echo = 2; printlevel = 3;
   example setBaseMultigrading;
   example setModuleGrading;
@@ -2470 +2868 @@
 
   example mDegResolution;
+  
+  "// ******************* example hilbertSeries ************************//"; 
   example hilbertSeries;
 
 
 // example mDegBasis; // needs 4ti2!
-}
+
+  "The End!";
+
+}