Changeset f3c6e5 in git

Timestamp:

Jul 26, 2006, 3:48:05 PM (17 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'd1b01e9d51ade4b46b745d3bada5c5f3696be3a8')

Children:

6e3cab4cadf40a95b799d76008c2f5305dbcbe6b

Parents:

7f7c25e5e9c095ee25b7bfbfbfd3d7e6a7f3575a

Message:

*hannes/slaplagne: syntax


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

File:

• Singular/LIB/primdec.lib (modified) (8 diffs)

Singular/LIB/primdec.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: primdec.lib,v 1.124 2006-07-26 11:50:30 Singular Exp $";
+version="$Id: primdec.lib,v 1.125 2006-07-26 13:48:05 Singular Exp $";
 category="Commutative Algebra";
 info="
 LIBRARY: primdec.lib   Primary Decomposition and Radical of Ideals
-AUTHORS:  Gerhard Pfister, pfister@mathematik.uni-kl.de (GTZ)
-@*        Wolfram Decker, decker@math.uni-sb.de         (SY)
-@*        Hans Schoenemann, hannes@mathematik.uni-kl.de (SY)
-@*        Santiago Laplagne, slaplagn@dm.uba.ar         (GTZ)
+AUTHORS:  Gerhard Pfister, pfister@mathematik.uni-kl.de (GTZ)@*
+          Wolfram Decker, decker@math.uni-sb.de         (SY)@*
+          Hans Schoenemann, hannes@mathematik.uni-kl.de (SY)@*
+          Santiago Laplagne, slaplagn@dm.uba.ar         (GTZ)
 
 OVERVIEW:
@@ -5423 +5423 @@
             if(#[j] == "KL") {
                algorithm = "KL";
-               valid = 1}
+               valid = 1;}
             if(#[j] == "SL") {
                algorithm = "SL";
-               valid = 1}
+               valid = 1;}
             if(#[j] == "noFacstd") {
                useFac = 0;
-               valid = 1}
+               valid = 1;}
             if(#[j] == "facstd") {
                useFac = 1;
-               valid = 1}
+               valid = 1;}
             if(#[j] == "equiRad") {
                il = 1;
-               valid = 1}
+               valid = 1;}
             if(#[j] == "fullRad") {
                il = 0;
-               valid = 1}
+               valid = 1;}
          }
          if(valid == 0) {
@@ -5469 +5469 @@
       pr = facstd(i);
    } else {
-      pr = i
+      pr = i;
    }
    option(set, op);
@@ -5522 +5522 @@
 //
 static proc radicalKL(ideal I, ideal ser, list #) {
-// ideal I                  The ideal for which the radical is computed
-// ideal ser                Used to reduce components already obtained
-// list #                   If #[1] = 1, equiradical is computed.
+// ideal I     The ideal for which the radical is computed
+// ideal ser   Used to reduce components already obtained
+// list #      If #[1] = 1, equiradical is computed.
 
         // I needs to be a Groebner basis.
@@ -5927 +5927 @@
     dbprint(printlevel - voice, "// The dimension is ", dim(groebner(J)));
 
-    int allMaximal = 0;      // Compute the zerodim reduction for only one indep set.
-    ideal re = 1;            // No reduction is need, there are not redundant components.
-    list emptyList = list(); // Look for primes of any dimension, not only of max dimension.
+    int allMaximal = 0;                   // Compute the zerodim reduction for only one indep set.
+    ideal re = 1;                           // No reduction is need, there are not redundant components.
+    list emptyList = list();   // Look for primes of any dimension, not only of max dimension.
     list result = radicalReduction(J, re, allMaximal, emptyList);
 
@@ -7485 +7485 @@
 // Output = primaryDec where primaryDec is the list of the minimal
 // associated primes and the primary components corresponding to these primes.
-
 {
   ideal P = 1;
@@ -7504 +7503 @@
       // Debug
       dbprint(printlevel - voice, "// We intersect the prime ideals obtained.");
-      /*
-      for (k = 1; k <= size(pd); k++) {
-        P = intersect(P, pd[k]);
-      };
-      */
       P = intersect(P, pd[2]);
       // Debug
       dbprint(printlevel - voice, "// Intersection finished.");
     } else {
-      stop = 1
+      stop = 1;
     }
   }
+
   // Returns only the primary components, not the radical.
   return(primaryDec);
-};
+}
 
 ///////////////////////////////////////////////////////////////////////////////
@@ -7996 +7991 @@
        else
        {
-
           lres1=psi(@lh);
           lres0=psi1(lres1);