Changeset 1cf13b in git for dyn_modules/syzextra/mod_main.cc

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:

• dyn_modules/syzextra/mod_main.cc (modified) (1 diff)

dyn_modules/syzextra/mod_main.cc

@@ -849 +849 @@
       PrintS("LS: "); dPrint(LS, r, r, 0);
     }
-  }
+  }  
   
   res->rtyp = VECTOR_CMD;
-  res->data = SchreyerSyzygyNF(syz_lead, syz_2, L, T, LS, attributes);
+  res->data = SchreyerSyzygyNF(syz_lead,
+                               (syz_2!=NULL)? p_Copy(syz_2, r): syz_2, L, T, LS, attributes);
 
   if( __DEBUG__ )