Changeset 10bedae in git

Timestamp:

Mar 15, 1999, 1:07:19 PM (25 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

971ba6f61590a50327889fafab6835efed8d615a

Parents:

1dae9f8cabe21ae1c753a0e1854831fd1fb213d8

Message:

*pfister: fixes


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

File:

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

Singular/LIB/normal.lib

@@ -6 +6 @@
 ///////////////////////////////////////////////////////////////////////////////
 
-version="$Id: normal.lib,v 1.10 1998-08-26 09:56:40 obachman Exp $";
+version="$Id: normal.lib,v 1.11 1999-03-15 12:07:19 Singular Exp $";
 info="
 LIBRARY: normal.lib: PROCEDURE FOR NORMALIZATION (I)
@@ -241 +241 @@
   }
 //---------- Test: Hom(J,J) == R ?, if yes, go home ---------------------------
+
    rf = interred(reduce(f,f2));       // represents p*Hom(J,J)/p*R = Hom(J,J)/R
    if ( size(rf) == 0 )
@@ -401 +402 @@
   // export(endid);
   // export(endphi);
-           if(y==1)
+   if(y==1)
    {
       "the new ring after reduction of the number of variables";
@@ -627 +628 @@
    int depth,lauf,prdim;
    int ti=timer;
-   
+
    if(size(i)==0)
    {
@@ -1110 +1111 @@
          def lastR=RS[1];
          setring lastR;
+         map psi1=BAS,endphi;
          ideal KK=endid;
-         ideal PP=endphi;
+         ideal PP=psi1(ihp);
          export PP;
          export KK;
@@ -1124 +1126 @@
 
       map psi=BAS,endphi;
+
       list tluser=
              normalizationPrimes(endid,psi(ihp),simplify(psi(MJ)+endid,4));
@@ -1212 +1215 @@
 }
 
-proc substpart(ideal endid,ideal endphi, int homo, intvec rw) 
+proc substpart(ideal endid,ideal endphi, int homo, intvec rw)
 {
    def newRing=basering;
@@ -1285 +1288 @@
       if ( rw1[ii]==0 ) { lastmap[ii] = 0; }
    }
-   map phi = newRing,lastmap;
-   ideal endid  = phi(endid);
-   ideal endphi = phi(endphi);
+   map phi1 = newRing,lastmap;
+   ideal endid  = phi1(endid);
+   ideal endphi = phi1(endphi);
    export(endid);
    export(endphi);
@@ -1486 +1489 @@
 
 */
+