Changeset c81423 in git for dyn_modules/syzextra/syzextra.cc

Timestamp:

Aug 10, 2012, 6:48:03 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '1d362c315e551a5b527ab0759f8839cf0e94f3a5')

Children:

1cf13b33d55ec9d3d521a0c38c579e836bd8400d

Parents:

e98c64edd3cf15f4e5d15991052a7bbcbb1184a5

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-08-10 18:48:03+02:00

git-committer:

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

Message:

better condition for running "m_checker.Initialize(m_syzLeads);" in SchreyerSyzygyComputation::ComputeLeadingSyzygyTerms

add: CReducerFinder::DebugPrint() for hash output

File:

• dyn_modules/syzextra/syzextra.cc (modified) (2 diffs)

dyn_modules/syzextra/syzextra.cc

@@ -619 +619 @@
   assume( m_syzLeads!= NULL );
 
-  if (__TAILREDSYZ__ && (IDELEMS(m_syzLeads) > 0) && !__IGNORETAILS__)
+  if (__TAILREDSYZ__ && !__IGNORETAILS__ && (IDELEMS(m_syzLeads) > 0) && !((IDELEMS(m_syzLeads) == 1) && (m_syzLeads->m[0] == NULL)))
   {
     m_LS = m_syzLeads;
     m_checker.Initialize(m_syzLeads);
+#ifndef NDEBUG    
+    if( __DEBUG__ )
+    {
+      const ring& r = m_rBaseRing;
+      PrintS("SchreyerSyzygyComputation::ComputeLeadingSyzygyTerms: \n");
+      PrintS("m_syzLeads: \n");
+      dPrint(m_syzLeads, r, r, 1);
+      PrintS("m_checker.Initialize(m_syzLeads) => \n");
+      m_checker.DebugPrint();
+    }
+#endif
     assume( m_checker.IsNonempty() ); // TODO: this always fails... BUG????
   }
@@ -946 +957 @@
 
 
+#ifndef NDEBUG
+void CReducerFinder::DebugPrint() const
+{
+  const ring& r = m_rBaseRing;
+
+  for( CReducersHash::const_iterator it = m_hash.begin(); it != m_hash.end(); it++)
+  {
+    Print("Hash Key: %d, Values: \n", it->first);
+    const TReducers& reducers = it->second;
+
+    for(TReducers::const_iterator vit = reducers.begin(); vit != reducers.end(); vit++ )
+    {
+      const poly p = (*vit)->m_lt;
+
+      assume( p_GetComp(p, r) == it->first );
+
+      const int k = (*vit)->m_label;
+
+      assume( m_L->m[k] == p );
+
+      const unsigned long p_sev = (*vit)->m_sev;
+
+      assume( p_sev == p_GetShortExpVector(p, r) );
+
+      Print("L[%d]: ", k); dPrint(p, r, r, 0); Print("SEV: %dl\n", p_sev);      
+    }
+  }
+}
+#endif
+
+
 poly CReducerFinder::FindReducer(const poly product, const poly syzterm, const CReducerFinder& syz_checker) const
 {