Changeset 4f7a0a in git


Ignore:
Timestamp:
Apr 29, 2005, 3:23:25 PM (19 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
5d18863ceeaf8ac10b1f601856fd5a94a7df3246
Parents:
3b00f26591becd6d3549521aff441624b708fa57
Message:
*lossen


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

Legend:

Unmodified
Added
Removed
  • Singular/LIB/normal.lib

    r3b00f2 r4f7a0a  
    11///////////////////////////////////////////////////////////////////////////////
    2 version="$Id: normal.lib,v 1.41 2005-01-04 10:38:34 Singular Exp $";
     2version="$Id: normal.lib,v 1.42 2005-04-29 13:23:25 Singular Exp $";
    33category="Commutative Algebra";
    44info="
     
    1313 HomJJ(L);           presentation of End_R(J) as affine ring, L a list
    1414 genus(I);           computes genus of the projective curve defined by I
     15 primeClosure(L);    integral closure of R/p (p prime), L a list
     16 closureFrac(L)      write poly in integral closure as element of Quot(R/p)
    1517
    1618AUXILIARY PROCEDURE:
     
    2729LIB "ring.lib";
    2830LIB "hnoether.lib";
     31LIB "reesclos.lib";
    2932///////////////////////////////////////////////////////////////////////////////
    3033
     
    21652168  for (int i=1;i<=n;i++)
    21662169    {
     2170      if (defined(R(i))) {
     2171        string s="Fixed name R("+string(i)+") leads to conflict with existing "
     2172              +"object having this name";
     2173        ERROR(s);
     2174      }
    21672175      def R(i)=L[i];
    2168       keepring (R(i));
     2176      export R(i);
    21692177    }
    21702178
     
    21802188  R(1);
    21812189  R(4);
     2190  kill R(1),R(2),R(3),R(4);
    21822191}
    21832192
     
    21992208  string mapstr;
    22002209
    2201   closureRingtower(L);         // The rings of L get names R[1],...,R[n]
     2210  for (int i=1;i<=n;i++) { def R(i)=L[i]; }
    22022211
    22032212// The quotient representing f is computed as in 'closureGenerators' with
     
    23012310  ring R=0,(x,y),dp;
    23022311  ideal ker=x2+y2;
    2303   export R;
     2312  export ker;
    23042313  list L=primeClosure(R);          // We normalize R/ker
    2305   closureRingtower(L);             // Now R/ker=R(1) with normalization R(2)
     2314  for (int i=1;i<=size(L);i++) { def R(i)=L[i]; }
    23062315  setring R(2);
    23072316  kill(R);
    23082317  phi;                             // The map R(1)-->R(2)
    2309   poly f=T(1)*T(2);                // We will get a representation of f
    2310   export R(2);
     2318  poly f=T(2);                     // We will get a representation of f
     2319  export f;
     2320  L[2]=R(2);
    23112321  closureFrac(L);
    23122322  setring R(1);
    2313   kill (R(2));
     2323  kill R(2);
    23142324  fraction;                        // f=fraction[1]/fraction[2] via phi
     2325  kill R(1);
    23152326}
    23162327
     
    23352346  string mapstr;
    23362347
    2337   closureRingtower(L);            // ...and the rings R(1),...,R(n) out of L.
     2348  for (int i=1;i<=n;i++) { def R(i)=L[i]; }
    23382349
    23392350  // For each variable (counter j) and for each intermediate ring (counter k):
Note: See TracChangeset for help on using the changeset viewer.