Changeset c67591 in git

Timestamp:

Dec 9, 2014, 11:01:31 AM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

a7d85a27017c3608979fad1bd844efd0375f1bd7

Parents:

05e73920ce04956d9a1cfb78192a4aeafb5f5b70

Message:

fix simplifyIdeal (char 2)

File:

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

Singular/LIB/primdec.lib

@@ -2828 +2828 @@
   }
   homo=homog(i);
-  if(homo==1)
+  if(homo)
   {
     if(attrib(i,"isSB")!=1)
@@ -4183 +4183 @@
   def r=basering;
 
-  int j,k;
-  map phi;
-  poly p;
-
   ideal iwork=i;
-  ideal imap1=maxideal(1);
   ideal imap2=maxideal(1);
 
 
-  for(j=1;j<=nvars(basering);j++)
-  {
-    for(k=1;k<=size(i);k++)
-    {
-      if(deg(iwork[k]/var(j))==0)
-      {
-        p=-1/leadcoef(iwork[k]/var(j))*iwork[k];
-        imap1[j]=p+2*var(j);
-        phi=r,imap1;
-        iwork=phi(iwork);
-        iwork=subst(iwork,var(j),0);
-        iwork[k]=var(j);
-        imap1=maxideal(1);
-        imap2[j]=-p;
-        break;
+  if (char(r)!=2)
+  {
+    int j,k;
+    map phi;
+    poly p;
+    ideal imap1=maxideal(1);
+    for(j=1;j<=nvars(basering);j++)
+    {
+      for(k=1;k<=ncols(i);k++)
+      {
+        if(deg(iwork[k]/var(j))==0)
+        {
+          p=-1/leadcoef(iwork[k]/var(j))*iwork[k];
+          imap1[j]=p+2*var(j);
+          phi=r,imap1;
+          iwork=phi(iwork);
+          iwork=subst(iwork,var(j),0);
+          iwork[k]=var(j);
+          imap1=maxideal(1);
+          imap2[j]=-p;
+          break;
+        }
       }
     }
@@ -5863 +5865 @@
   ASSUME(0, not isQuotientRing(basering) ) ;
   dbprint(printlevel - voice, "Radical, version 2006.05.08");
+  if(size(i) == 0){return(ideal(0));}
   if(attrib(basering,"global")!=1)
   {
@@ -5877 +5880 @@
       return(j);
   }
-  if(size(i) == 0){return(ideal(0));}
   int j;
   def P0 = basering;