Changeset ede2ad8 in git for Singular/LIB/primdec.lib

Timestamp:

Aug 31, 2015, 3:57:59 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '98550b669234b32be762076c32b3be2c35188ac4')

Children:

fd07781d309b3cc6a9930e69e9c6b97aa93d73a4

Parents:

ef573fff51417c61e82c8176e0679f71fb732c40

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2015-08-31 15:57:59+02:00

git-committer:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2015-08-31 16:01:57+02:00

Message:

fix tr. #712: std(SB,I) does not allow crit3 because of the (wrong) order of reductions

if size(I)*4 > 3*size(SB), use std(SB+I), otherwise disable crit3

File:

• Singular/LIB/primdec.lib (modified) (1 diff)

Singular/LIB/primdec.lib

@@ -7997 +7997 @@
 
   ideal jkeep=@j;
-  if(ordstr(@P)[1]=="w")
+  if((ordstr(@P)[1]=="w")&&(size(ringlist(@P)[3])==2)) // weighted ordering
   {
     def @Phelp=ring(ringlist(gnir));