Changeset 4f7a0a in git

Timestamp:

Apr 29, 2005, 3:23:25 PM (18 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

5d18863ceeaf8ac10b1f601856fd5a94a7df3246

Parents:

3b00f26591becd6d3549521aff441624b708fa57

Message:

*lossen


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

File:

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

Singular/LIB/normal.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: normal.lib,v 1.41 2005-01-04 10:38:34 Singular Exp $";
+version="$Id: normal.lib,v 1.42 2005-04-29 13:23:25 Singular Exp $";
 category="Commutative Algebra";
 info="
@@ -13 +13 @@
  HomJJ(L);           presentation of End_R(J) as affine ring, L a list
  genus(I);           computes genus of the projective curve defined by I
+ primeClosure(L);    integral closure of R/p (p prime), L a list 
+ closureFrac(L)      write poly in integral closure as element of Quot(R/p)
 
 AUXILIARY PROCEDURE: 
@@ -27 +29 @@
 LIB "ring.lib";
 LIB "hnoether.lib";
+LIB "reesclos.lib";
 ///////////////////////////////////////////////////////////////////////////////
 
@@ -2165 +2168 @@
   for (int i=1;i<=n;i++)
     {
+      if (defined(R(i))) { 
+        string s="Fixed name R("+string(i)+") leads to conflict with existing "
+              +"object having this name";
+        ERROR(s);
+      }
       def R(i)=L[i];
-      keepring (R(i));
+      export R(i);
     }
 
@@ -2180 +2188 @@
   R(1);
   R(4);
+  kill R(1),R(2),R(3),R(4);
 }
 
@@ -2199 +2208 @@
   string mapstr;
 
-  closureRingtower(L);         // The rings of L get names R[1],...,R[n]
+  for (int i=1;i<=n;i++) { def R(i)=L[i]; }
 
 // The quotient representing f is computed as in 'closureGenerators' with
@@ -2301 +2310 @@
   ring R=0,(x,y),dp;
   ideal ker=x2+y2;
-  export R;
+  export ker;
   list L=primeClosure(R);          // We normalize R/ker
-  closureRingtower(L);             // Now R/ker=R(1) with normalization R(2)
+  for (int i=1;i<=size(L);i++) { def R(i)=L[i]; }
   setring R(2);
   kill(R);
   phi;                             // The map R(1)-->R(2)
-  poly f=T(1)*T(2);                // We will get a representation of f
-  export R(2);
+  poly f=T(2);                     // We will get a representation of f
+  export f;
+  L[2]=R(2);
   closureFrac(L);
   setring R(1);
-  kill (R(2));
+  kill R(2);
   fraction;                        // f=fraction[1]/fraction[2] via phi
+  kill R(1);
 }
 
@@ -2335 +2346 @@
   string mapstr;
 
-  closureRingtower(L);            // ...and the rings R(1),...,R(n) out of L.
+  for (int i=1;i<=n;i++) { def R(i)=L[i]; }
 
   // For each variable (counter j) and for each intermediate ring (counter k):