Changeset 101775 in git

Timestamp:

Feb 24, 2007, 4:15:26 PM (16 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

d7cb5209bebe803a759d89681cb9177e09e438f8

Parents:

bd7468e27c17b2493beec0180f366c438528745d

Message:

*hannes: format


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

Location:

Singular/LIB

Files:

• nctools.lib (modified) (6 diffs)
• reszeta.lib (modified) (8 diffs)

Singular/LIB/nctools.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: nctools.lib,v 1.23 2007-01-31 23:56:33 motsak Exp $";
+version="$Id: nctools.lib,v 1.24 2007-02-24 15:15:26 Singular Exp $";
 category="Noncommutative";
 info="
@@ -787 +787 @@
   ncalgebra(@E, 0);
 
-        ideal Q = fetch(saveRing, Q);  
+        ideal Q = fetch(saveRing, Q);
         j = ncols(Q) + 1;
 
@@ -855 +855 @@
     {
       c = C[i, j];
-      
+
       if( c == -1 )
       {
@@ -881 +881 @@
     return("The current ring is commutative!");
   }
-  
+
   for( i = 1; i < N; i++ )
   {
@@ -903 +903 @@
     }
   }
-  
+
   list LL = list(L[1], L[2], L[3], ideal(0), L[5], L[6]);
   ideal Q = L[4];
 //  "Q = ", string(Q);
-  
+
   def  E = ring(LL);
   setring E; // not a qring!
@@ -926 +926 @@
   }
 
-        ////////////////////////////////////////////////////////////////////////  
+        ////////////////////////////////////////////////////////////////////////
   // ok. it is a SCA!!!
-  
+
   ideal QQ;
-  
+
   for( i = e; i >= b; i-- )
   {
     QQ[i - b + 1] = var(i)^2;
   }
-  
+
   QQ = twostd(QQ);
   Q = simplify(NF(Q, QQ),  1 + 2 + 4);
-  
+
   setring saveRing;
-  
+
   ideal QQ = fetch(E, Q);
 

Singular/LIB/reszeta.lib

@@ -1 +1 @@
 //////////////////////////////////////////////////////////////////////////////
-version="$Id: reszeta.lib,v 1.10 2007-02-01 18:39:17 krueger Exp $";
+version="$Id: reszeta.lib,v 1.11 2007-02-24 15:15:26 Singular Exp $";
 category="Commutative Algebra";
 info="
@@ -1758 +1758 @@
 RETURN:   list l
           if a is not present:
-          l[1]: string specifying the Denef-Loeser zeta function 
+          l[1]: string specifying the Denef-Loeser zeta function
           l[2]: string specifying characteristic polynomial of monodromy,
                 if "A" was specified
@@ -4892 +4892 @@
       intvec nE;
       idlist[1]=list(id1,id2,nE);
-   }        
+   }
    if(defined(tli)){kill tli;}
    list tli;
@@ -4924 +4924 @@
                 if(defined(prtemp)){kill prtemp;}
                 list prtemp=minAssGTZ(BO[4][i]);  // C-comp. of except. div.
-                j=1;                   
+                j=1;
                 if(size(prtemp)>1)
                 {
@@ -4951 +4951 @@
                 }
              }
-//--- determine tli[1] and tli[2] such that 
+//--- determine tli[1] and tli[2] such that
 //--- V(id1) \cap D(id2) = V(tli[1]) \cap D(tli[2]) \cap BO[4][i]
 //--- inside V(BO[1]) (and if necessary inside V(BO[1]+BO[2]))
@@ -5086 +5086 @@
             if(size(id2)==0)
             {
-//--- preimage of (principal ideal) id2 was zero, i.e. 
+//--- preimage of (principal ideal) id2 was zero, i.e.
 //--- generator of previous id2 not in image
               setring S;
@@ -5184 +5184 @@
                      }
                      if(defined(tli)) {kill tli;}
-//--- determine tli[1] and tli[2] such that 
+//--- determine tli[1] and tli[2] such that
 //--- V(id1) \cap D(id2) = V(tli[1]) \cap D(tli[2]) \cap BO[4][i]
 //--- inside V(BO[1]) (and if necessary inside V(BO[1]+BO[2]))
@@ -5294 +5294 @@
    while(i<size(path_togo))
    {
-//--- we need to blow up following the path path_togo through the tree 
+//--- we need to blow up following the path path_togo through the tree
       def S=basering;
       if(defined(T)){kill T;}