Changeset 1cf13b in git for dyn_modules/syzextra/syzextra.h

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/syzextra.h (modified) (3 diffs)

dyn_modules/syzextra/syzextra.h

@@ -150 +150 @@
     bool IsNonempty() const { return !m_hash.empty(); }
 
+    poly FindReducer(const poly multiplier, const poly monom, const poly syzterm, const CReducerFinder& checker) const;
+    
 #ifndef NDEBUG
     void DebugPrint() const;
@@ -219 +221 @@
     void ComputeLeadingSyzygyTerms(bool bComputeSecondTerms = true);
 
-    poly SchreyerSyzygyNF(poly syz_lead, poly syz_2) const;
-
-    // TODO: store m * @tail -.-^-.-^-.--> ?
+    poly SchreyerSyzygyNF(const poly syz_lead, poly syz_2 = NULL) const;
+
+    poly TraverseTail(poly multiplier, const int tail) const;
+
+    // called only from above and from outside (for testing)
     poly TraverseTail(poly multiplier, poly tail) const;
 
@@ -227 +231 @@
     poly ReduceTerm(poly multiplier, poly term4reduction, poly syztermCheck) const;
 
+    // 
+    poly TraverseNF(const poly syz_lead, const poly syz_2 = NULL) const;
+    
   public:
     /// just for testing via the wrapper below