Changeset 5c7562 in git

Timestamp:

May 18, 2006, 3:49:11 PM (17 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

3960d849adde43bca93b4a76aa305386c4f6fe33

Parents:

21324ab4bbe216d643fa51787459d58a228d98a5

Message:

*pfister: save intersections


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

File:

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

Singular/LIB/primdec.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: primdec.lib,v 1.115 2006-05-15 10:59:17 Singular Exp $";
+version="$Id: primdec.lib,v 1.116 2006-05-18 13:49:11 Singular Exp $";
 category="Commutative Algebra";
 info="
@@ -2947 +2947 @@
   poly @p,@q;
   ideal @h,fac,ser;
+  ideal @Ptest=1;
   di=dim(jwork);
   keepdi=di;
@@ -2969 +2970 @@
      {
         @va=string(maxideal(1));
+        if(@m==1)
+        {
+           @j=fetch(@P,i);
+        }
         execute("ring gnir1 = ("+charstr(basering)+"),("+indep[@m][1]+"),("
                               +indep[@m][2]+");");
@@ -3174 +3179 @@
         if(@wr!=1)
         {
-          @q=minSat(jwork,@h)[2];
+          if(defined(@LL)){kill @LL;}
+          list @LL=minSat(jwork,@h);
+          @Ptest=intersect(@Ptest,@LL[1]);
+          @q=@LL[2];
         }
         else
@@ -3236 +3244 @@
         if(@wr==0)
         {
-           ideal htest=hquprimary[1];
-           for (@n1=2;@n1<=size(hquprimary)/2;@n1++)
-           {
-              htest=intersect(htest,hquprimary[2*@n1-1]);
-           }
+           //HIER STATT DURCHSCHNITT SATURIEREN!
+           ideal htest=@Ptest;
         }
         else
@@ -3508 +3513 @@
            // and primary(j,gh^n)
            @n=size(quprimary);
-           if (deg(quprimary[1][1])<=0) { @n=0; }
            for (@k=1;@k<=size(htprimary);@k++)
            {
@@ -3538 +3542 @@
   setring @P;
   primary=imap(gnir,quprimary);
+  primary=cleanPrimary(primary);
   return(primary);
 }