Changeset 6bfd78 in git for dyn_modules/syzextra/syzextra.h

Timestamp:

Feb 12, 2013, 6:33:16 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

13a431151fe0f14cbbed84bbf95df65eff7bc567

Parents:

1a4c34381788487464977b182596acb57f904d2f

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-02-12 18:33:16+01:00

git-committer:

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

Message:

Added CDivisorEnumerator(2) - to be used by CReducerFinder

add: FindReducer + multiplier!

File:

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

dyn_modules/syzextra/syzextra.h

@@ -139 +139 @@
 class CReducerFinder: public SchreyerSyzygyComputationFlags
 {
+  friend class CDivisorEnumerator;
+  friend class CDivisorEnumerator2;
   private:
     typedef long TComponentKey;
@@ -144 +146 @@
     typedef std::map< TComponentKey, TReducers> CReducersHash;
 
-/*
-    /// TODO:
-    class const_iterator: public TReducers::const_iterator
-    {
-      typedef TReducers::const_iterator TBase;
-      private: 
-//        const TReducers& m_reds;
-        const TBase m_the_end;
-
-        const_iterator(TBase start, TBase end):
-            TBase(start), m_the_end(end)
-        { find_proper(); }
-                    
-      public:        
-        inline bool at_end() const { return m_the_end == (*this); }
-
-        inline const_iterator& operator++()
-        {
-          find_next();
-          return *this;
-        }
-        
-        inline const_iterator operator++(int)
-        {
-          const_iterator tmp(*this);
-          find_next();
-          return tmp;
-        }
-
-      protected:
-        bool is_proper() const; // difficult - needs all of CReducerFinder internals!?
-        
-        inline void find_next()
-        {
-          while (!at_end())
-          {
-            static_cast<TBase*>(this)->operator++();
-            if( is_proper() ) break;
-          }
-        }
-    };
-*/
-    
   public:
     /// goes over all leading terms