Changeset 74e966 in git

Timestamp:

Jun 7, 2000, 11:43:23 AM (24 years ago)

Author:

Gerhard Pfister <pfister@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

a9790020f24703b526ad28f8b1173403a40924a9

Parents:

9249c33f5cbcd9f878877b4b6290fb3c41b466e1

Message:

bugs in radical und zerodec (faktorisieren) behoben


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

File:

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

Singular/LIB/primdec.lib

@@ -1 @@
-// $Id: primdec.lib,v 1.76 2000-06-05 11:22:47 pfister Exp $
+// $Id: primdec.lib,v 1.77 2000-06-07 09:43:23 pfister Exp $
 ///////////////////////////////////////////////////////////////////////////////
 // primdec.lib                                                               //
@@ -11 +11 @@
 ///////////////////////////////////////////////////////////////////////////////
 
-version="$Id: primdec.lib,v 1.76 2000-06-05 11:22:47 pfister Exp $";
+version="$Id: primdec.lib,v 1.77 2000-06-07 09:43:23 pfister Exp $";
 info="
 LIBRARY: primdec.lib   PROCEDURES FOR PRIMARY DECOMPOSITION
@@ -2948 +2948 @@
    if (jdim==0)
    {
+      if((npars(basering)>0)&&(char(basering)>0)&&(char(basering)<=181))
+      {
+         "        !  Warning  !  ";
+         "    The field is not perfect.";
+         "    The result may be wrong.";
+      }
       @j1=finduni(@j);
       for(@k=1;@k<=size(@j1);@k++)
@@ -3179 +3185 @@
    }
    int cod=nvars(basering)-dim(m[1]);
-   if((nvars(basering)<=5)&&(size(m[2])<=5))
+   if((nvars(basering)<=5)&&(size(m[2])<=5)
+       &&((char(basering)==0)||(char(basering)>181)))
    {
       if(cod==size(m[2]))
@@ -4541 +4548 @@
    if(s==1)
    {
-     i=radicalEHV(i,ideal(1),il);
+     i=radicalEHV(pr[1],ideal(1),il);
      return(phi(i));
    }
@@ -4728 +4735 @@
    if(charpol[size(charpol)]!=0)
    {
-     list fac=factorize(charpol);
+     list fac=factor(charpol);
+     testFactor(fac,charpol);
      int f=size(fac[1]);
      setring R;
@@ -4739 +4747 @@
      list rfac=psi(fac);
      option(redSB);
-     for(j=2;j<=f;j++)
-     {
-        re[j-1]=interred(I+ideal(rfac[1][j]^rfac[2][j])); 
+     for(j=1;j<=f;j++)
+     {
+        re[j]=interred(I+ideal(rfac[1][j]^rfac[2][j])); 
      }
      option(noredSB);