Changeset 576f5b in git for kernel/kspoly.cc

Timestamp:

Nov 25, 2013, 4:57:13 PM (10 years ago)

Author:

Christian Eder

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

c91ffe336985180edd91ef17bf401793443ccb4d

Parents:

b085fbae2501ff545f48d2d74ab896e6c2343f5b

git-author:

Christian Eder <ederc@mathematik.uni-kl.de>2013-11-25 16:57:13+01:00

git-committer:

Christian Eder <ederc@mathematik.uni-kl.de>2013-12-12 13:51:25+01:00

Message:

workin sba tail reduction (disabled by default)

File:

• kernel/kspoly.cc (modified) (1 diff)

kernel/kspoly.cc

@@ -262 +262 @@
       return 3;
     }
-    PW->is_sigsafe  = TRUE;
+    //PW->is_sigsafe  = TRUE;
   }
   PR->is_redundant = FALSE;