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

Timestamp:

Jul 30, 2012, 5:19:40 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

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

Children:

dd24e5dded66979eda13e955b93fc284cbb341e7

Parents:

c93fda01f3f4eb9609a2210ea9eec1816d8fb7f1

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-07-30 17:19:40+02:00

git-committer:

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

Message:

introduced a bitmask of `leading` variables

NOTE: this is the 2nd Schreyer's optimization idea

chg: further removal of unused variables

File:

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

dyn_modules/syzextra/syzextra.h

@@ -17 +17 @@
 #define SYZEXTRA_H
 
+#include <vector>
+
 // include basic definitions
 #include "singularxx_defs.h"
@@ -78 +80 @@
 };
 
+class SchreyerSyzygyComputation;
+
+class CLCM: public std::vector<bool>
+{
+  public:
+    CLCM(const SchreyerSyzygyComputation& data);
+
+    bool Check(const poly m) const;
+    
+  private:
+    const SchreyerSyzygyComputation& m_data;
+
+    bool m_compute;
+};
 
 
@@ -92 +108 @@
 class SchreyerSyzygyComputation
 {
+  friend class CLCM;
+  
   public:
+
     /// Construct a global object for given input data (separated into leads & tails)
     SchreyerSyzygyComputation(const ideal idLeads, const ideal idTails, const ring rBaseRing, const SchreyerSyzygyComputationFlags attribues):
         m_rBaseRing(rBaseRing),
         m_idLeads(idLeads), m_idTails(idTails), 
-        m_syzLeads(NULL), m_syzTails(NULL), m_LS(NULL), m_atttributes(attribues) {}
+        m_syzLeads(NULL), m_syzTails(NULL), m_LS(NULL), m_atttributes(attribues),
+        m_lcm(*this)
+    {
+    }
 
 
@@ -104 +126 @@
         m_rBaseRing(rBaseRing),
         m_idLeads(idLeads), m_idTails(idTails), 
-        m_syzLeads(NULL), m_syzTails(NULL), m_LS(syzLeads), m_atttributes(attribues) {}
+        m_syzLeads(NULL), m_syzTails(NULL), m_LS(syzLeads), m_atttributes(attribues),
+        m_lcm(*this)
+    {
+    }
 
     
@@ -144 +169 @@
     /// leading + second terms
     ideal Compute2LeadingSyzygyTerms();
-    
-    
+
     /// Clean up all the accumulated data
     void CleanUp() {}
@@ -168 +192 @@
 
     const SchreyerSyzygyComputationFlags m_atttributes;
+
+    /// Bitmask for variables occuring in leading terms
+    const CLCM m_lcm;
 };