Changeset 78f547 in git for Singular/LIB/primdec.lib

Timestamp:

Jun 17, 2015, 2:34:21 PM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '873fc1222e995d7cb33f79d8f1792ce418c8c72c')

Children:

65183c4a48aa72cde94b38d7f54b90a4cf004b53

Parents:

66bb58083828927467d2480a460e91aec1dc789d

Message:

fix: tr. #724

File:

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

Singular/LIB/primdec.lib

@@ -807 +807 @@
         if((size(sact)==1)&&(m==2))
         {
-          l[2*i]=l[2*i-1];
-          attrib(l[2*i],"isSB",1);
+          l[2*i]=std(l[2*i-1],sact[1]);
         }
         if((size(sact)==1)&&(m>2))