Changeset a33be22 in git

Timestamp:

Jul 2, 2014, 7:33:26 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

beb3d788c30165b40310896bd3e332af9e61358a

Parents:

bba099faee3e605cb869b7542d651f11d483edca02defa68b782a08ab330bc5f935a6bb79c6b7939

Message:

Merge pull request #612 from adipopescu/PrimdecZ

fix: bug593_primdecZ,

Files:

• Singular/LIB/primdecint.lib (modified) (3 diffs)
• Tst/New.lst (modified) (1 diff)
• Tst/New/bug593_primdecZ.res.gz.uu (added)
• Tst/New/bug593_primdecZ.stat (added)
• Tst/New/bug593_primdecZ.tst (added)

Singular/LIB/primdecint.lib

@@ -331 +331 @@
    J=J,h;
    //=== call primary decomposition over Z for <I,h>
+   ideal testid = 1;
+   for(i = 1; i<=size(pr); i++)
+   {
+      testid = intersect(testid, pr[i][1]);
+   }
    list M;
    if(h!=1)
@@ -341 +346 @@
           j++;
           M[j][1]=stdZ(M[j][1]);
+          testid = intersect(testid, M[j][1]);
+          if((reduce(testid, std(I))+0 == 0) && (reduce(I, std(testid))+0 == 0))
+          {
+            for(i=1;i<=j;i++)
+            {
+              pr[size(pr)+1]=M[i];
+            }
+            return(pr);
+          }
           for(i=1;i<=size(pr);i++)
           {
@@ -355 +369 @@
          pr[size(pr)+1]=M[i];
       }
+      
    }
    return(pr);

Tst/New.lst

@@ -52 +52 @@
 New/qring_ZtoZm.tst
 New/AnnExt_R_bug.tst
+New/bug593_primdecZ.tst