Changeset 49bec69 in git

Timestamp:

Jan 16, 2001, 2:15:16 PM (23 years ago)

Author:

Gerhard Pfister <pfister@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

4e3468f1f6473297e317588e34a7719e241780f9

Parents:

65546ebd169a1b9b71bf1f05a7eb86acfaa530f6

Message:

Anwendung des Radikals korrigiert


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

File:

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

Singular/LIB/normal.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: normal.lib,v 1.29 2001-01-08 01:01:46 greuel Exp $";
+version="$Id: normal.lib,v 1.30 2001-01-16 13:15:16 pfister Exp $";
 category="Commutative Algebra";
 info="
@@ -795 +795 @@
          dim(JM[1]); "";
       }
-      attrib(JM[2],"isRad",0);
       //   timer-ti;
       attrib(JM[1],"isSB",1);
@@ -832 +831 @@
      {
         list JM=maxideal(1),maxideal(1);
+        
         attrib(JM[1],"isSB",1);
         attrib(SM[2],"isRegInCodim2",1);
@@ -966 +966 @@
       }
 
-      if((attrib(JM[2],"isRad")==0)&&(attrib(SM[2],"isEquidimensional")==0))
-      {
-           //J=radical(JM[2]);
-          J=radical(SM[2]+ideal(SL[1]));
-
-          // evtl. test auf J=SM[2]+ideal(SL[1]) dann schon normal
-      }
-      if((attrib(JM[2],"isRad")==0)&&(attrib(SM[2],"isEquidimensional")==1))
-      {
-          ideal JJ=SM[2]+ideal(SL[1]);
-         // evtl. test auf J=SM[2]+ideal(SL[1]) dann schon normal
-          if(attrib(SM[2],"isCompleteIntersection")==0)
-          {
-            J=equiRadical(JM[2]);
-             //J=equiRadical(JJ);
-          }
-          else
-          {
-             //J=radical(JM[2]);
-             J=quotient(JJ,minor(jacob(JJ),size(JJ)));
-          }
-      }
+      //J=radical(SM[2]+ideal(SL[1]));   //JM[2] contains SM[2]+ideal(SL[1])
+      J=radical(JM[2]);   //the singular locus
       if(y>=1)
       {
@@ -1251 +1231 @@
 
 
-//Vasconcelos
+//Vasconcelos (dauert laenger: 60 sec)
 ring r=32003,(x,y,z,w,t),dp;
 ideal i=
@@ -1304 +1284 @@
 ad;
 
-//Beispiel, wo vorher Primaerzerlegung schneller
+//Beispiel, wo vorher Primaerzerlegung schneller (2 sec,sonst 860 sec)
 //ist CM
 //Sturmfels
@@ -1337 +1317 @@
 tuy-bvz;
 
-//dauert laenger
+//dauert laenger ohne Primaerzerlegung vorher (1 sec gegen
 //Horrocks:
 ring r=32003,(a,b,c,d,e,f),dp;