Changeset e98c64 in git for dyn_modules/syzextra/syzextra.h

Timestamp:

Aug 9, 2012, 9:27:42 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

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

Children:

c814238a3c69aaf59662652396c4843d8c8c52fa

Parents:

5cecde90d96d1acc0cbd216cf0037bd2db293c31

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-08-09 21:27:42+02:00

git-committer:

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

Message:

adding IGNORETAILS option for computing pure Schreyer Frames (test with 'testAGRFrame')

File:

• dyn_modules/syzextra/syzextra.h (modified) (3 diffs)

dyn_modules/syzextra/syzextra.h

@@ -60 +60 @@
 
 /// Computation attribute storage
-struct SchreyerSyzygyComputationFlags
-{
-  SchreyerSyzygyComputationFlags(idhdl rootRingHdl);
-  SchreyerSyzygyComputationFlags(const SchreyerSyzygyComputationFlags& attr):
-      __DEBUG__(attr.__DEBUG__),
-//      __SYZCHECK__(attr.__SYZCHECK__),
-      __LEAD2SYZ__(attr.__LEAD2SYZ__),  __TAILREDSYZ__(attr.__TAILREDSYZ__),
-      __HYBRIDNF__(attr.__HYBRIDNF__),  m_rBaseRing(attr.m_rBaseRing)
-  {}
-      
+class SchreyerSyzygyComputationFlags
+{
+  public: 
+    SchreyerSyzygyComputationFlags(idhdl rootRingHdl);
+
+    SchreyerSyzygyComputationFlags(const SchreyerSyzygyComputationFlags& attr):
+        __DEBUG__(attr.__DEBUG__),
+  //      __SYZCHECK__(attr.__SYZCHECK__),
+        __LEAD2SYZ__(attr.__LEAD2SYZ__),  __TAILREDSYZ__(attr.__TAILREDSYZ__),
+        __HYBRIDNF__(attr.__HYBRIDNF__), __IGNORETAILS__(attr.__IGNORETAILS__),
+        m_rBaseRing(attr.m_rBaseRing)
+    {}   
 
   /// output all the intermediate states
   const bool __DEBUG__; // DebugOutput;
 
-//  const bool __SYZCHECK__; // CheckSyzygyProperty: never tested here...
+  //  const bool __SYZCHECK__; // CheckSyzygyProperty: never tested here...
 
   /// ?
@@ -85 +87 @@
   const bool __HYBRIDNF__; // UseHybridNF
 
+
+  /// ignore tails and compute the pure Schreyer frame
+  const bool __IGNORETAILS__; // @IGNORETAILS
+  
   /// global base ring
   const ring m_rBaseRing;
@@ -142 +148 @@
     bool IsDivisible(const poly q) const;
 
-    bool IsNonempty() const { return (m_hash.size() > 0); }
+    bool IsNonempty() const { return !m_hash.empty(); }
 
   private: