Changeset 1cf13b in git for Singular/LIB/schreyer.lib

Timestamp:

Apr 28, 2014, 8:50:10 PM (9 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

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

Children:

1a4c34381788487464977b182596acb57f904d2f

Parents:

c814238a3c69aaf59662652396c4843d8c8c52fa

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-04-28 20:50:10+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-05-07 04:41:47+02:00

Message:

Traverse API redesign + avoid multiplication as far as possible

add/chg: TraverseNF similar to SchreyerSyzygyNF
add/chg: use TraverseTail(mult, int tail_index) everywhere

add: usage of CReducerFinder::FindReducer controlled by NOPRODUCT macro define
add: _p_LmDivisibleByNoComp, CReducerFinder::FindReducer for products

NOTE: needs p_GetShortExpVector for 'products'

File:

• Singular/LIB/schreyer.lib (modified) (2 diffs)

Singular/LIB/schreyer.lib

@@ -2374 +2374 @@
 proc TestSSresAttribs2tr(def M)
 {
+  attrib(SSinit, "LEAD2SYZ", 0); attrib(SSinit, "TAILREDSYZ", 1); attrib(SSinit, "HYBRIDNF", 0); TestSSres(M);
+  attrib(SSinit, "LEAD2SYZ", 0); attrib(SSinit, "TAILREDSYZ", 1); attrib(SSinit, "HYBRIDNF", 1); TestSSres(M);
+
   attrib(SSinit, "LEAD2SYZ", 1); attrib(SSinit, "TAILREDSYZ", 1); attrib(SSinit, "HYBRIDNF", 0); TestSSres(M);
   attrib(SSinit, "LEAD2SYZ", 1); attrib(SSinit, "TAILREDSYZ", 1); attrib(SSinit, "HYBRIDNF", 1); TestSSres(M);
 
+  
   Testlres(M);  
   Testnres(M);  
@@ -2590 +2594 @@
   TestSSresAttribs2tr(M);
 /*
-options:  1 1 0 :  Time:  34/73/92 (316 without LCM)
-options:  1 1 1 :  Time:  35/43/202
-lres  Time:  25
-nres  Time:  20
+options:  1 1 0 :  Time:  29/32/73/92 (316 without LCM)
+options:  1 1 1 :  Time:  32/34/43/202
+lres  Time:  24
+nres  Time:  19
 sres  Time:  71
 */