Changeset 2fa80a in git for Singular/LIB/primdec.lib

Timestamp:

Nov 6, 2013, 6:07:39 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

823679a657c538153cba3a477bf92e2c9102c451

Parents:

2ea781ea236dc6d65399e46b262e9954538749a1d600e1863951bfc5135d0138b61badb20b1ec70a

Message:

Merge pull request #414 from steenpass/resources_sw

release acquired semaphores before shutdown

File:

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

Singular/LIB/primdec.lib

@@ -3769 +3769 @@
     I=interred(I+F);option(set,save);return(I);
    }
-   I=simplify(I,1);
+   //I=simplify(I,1);
 
    for(i=1;i<=n;i++)             //consider all polynomials over
@@ -3780 +3780 @@
    ideal F=imap(R,F);
 
-   string nR="ring @S="+string(p)+",(y(1..m),"+varstr(R)+","+parstr(R)+"),dp;";
+   string nR1="ring @S1="+string(p)+",("+varstr(R)+","+parstr(R)+",@y(1..m)),dp;";
+   execute(nR1);
+   list lR=ringlist(@S1)[2];
+   lR=lR[(size(lR)-m+1)..(size(lR))];
+
+   string nR="ring @S="+string(p)+",("+string(lR)+","+varstr(R)+","+parstr(R)+"),dp;";
    execute(nR);
 
@@ -3792 +3797 @@
    {
       J=J,var(i)^k-var(m+n+i);
-      el=el*y(i);
+      el=el*var(i);
    }