Changeset 7f38f4 in git

Timestamp:

Jan 9, 2007, 6:43:41 PM (17 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

b63ed6a668059b7347843f315f169b90112ed95f

Parents:

0a5252db370ac34895a926e581a3f30889ac34a9

Message:

*hannes: simplify fixed


git-svn-id: file:///usr/local/Singular/svn/trunk@9665 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.128 2006-11-13 12:57:33 Singular Exp $";
+version="$Id: primdec.lib,v 1.129 2007-01-09 17:43:41 Singular Exp $";
 category="Commutative Algebra";
 info="
@@ -107 +107 @@
      }
    }
-   fac=simplify(fac,4);
+   fac=simplify(fac,6);
    poly @f=1;
    if(deg(fac[1])>0)
@@ -162 +162 @@
       }
    }
-   fac=simplify(fac,4);
+   fac=simplify(fac,6);
    if(size(fac)==0)
    {
@@ -3272 +3272 @@
               }
            }
-           fac=simplify(fac,4);
+           fac=simplify(fac,6);
            @q=1;
            for(lauf=1;lauf<=size(fac);lauf++)
@@ -4720 +4720 @@
     }
     // delete superfluous polynomials
-    fac=simplify(fac,8);
+    fac=simplify(fac,8+2);
     // saturation
     SQi,f0,f,fac=minsat_ppd(SI,fac);
@@ -5864 +5864 @@
             }
          }
-         fac = simplify(fac, 4);
+         fac = simplify(fac, 6);
          @q = 1;
          for(lauf = 1; lauf <= size(fac); lauf++)
@@ -6829 +6829 @@
               }
            }
-           fac=simplify(fac,4);
+           fac=simplify(fac,6);
            @q=1;
            for(lauf=1;lauf<=size(fac);lauf++)