Changeset 5895e8 in git

Timestamp:

Sep 23, 2010, 3:51:15 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

807759680bf2373d9851bbe0a7f175e190f4c18a

Parents:

fc2d16d75fa03d73ea81fee4ff230ad4158b821e

Message:

doc fix

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

File:

• Singular/LIB/resjung.lib (modified) (5 diffs)

Singular/LIB/resjung.lib

@@ +1 @@
+//
 version="$Id: jung.lib,v 1.0 2008/13/06 10:32:00 Singular Exp $";
 category="Commutative Algebra";
@@ -7 +8 @@
           Anne Fruehbis-Krueger, anne@math.uni-hannover.de
 
-MAIN PROCEDURES:
+PROCEDURES:
  jungresolve(J,i)  computes a resolution of the surface given by the
                    ideal J using Jungs Method
-
-AUXILLARY PROCEDURES:
  clocus(J)         computes the critical locus of the projection of V(J)
                    onto the coordinate plane of the last two coordinates
@@ -90 +89 @@
     if(attrib(J,"isPrincipal")==0){
       setring R;
-      for(j = 1;j<=size(J);j++){   //determines the monic polynomial in var(i) with coefficents in C2
+      for(j = 1;j<=size(J);j++)
+      {   //determines the monic polynomial in var(i) with coefficents in C2
         if(defined(w)) {kill w;}
         intvec w = leadexp(J[j]);
@@ -108 +108 @@
       setring A;
     }
-    product = product*resultant(J[index],diff(J[index],var(i)),var(i));   //Product of the discriminants, which lies in C2
+    //Product of the discriminants, which lies in C2:
+    product = product*resultant(J[index],diff(J[index],var(i)),var(i)); 
     kill index,J,v;
   }
@@ -115 +116 @@
   ideal Clocus = imap(A,product);      //the critical locus is contained in this
   ideal I = preimage(A,LastTwo,lowdim);
-  Clocus = radical(intersect(Clocus,I));  //radical is necessary since the resultant is not reduced in general
+  //radical is necessary since the resultant is not reduced in general:
+  Clocus = radical(intersect(Clocus,I));
   export(Clocus);
   return(C2);