Changeset 542685e in git for Singular/dyn_modules/syzextra/syzextra.h

Timestamp:

Oct 20, 2014, 2:55:51 PM (10 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

06f38e104526d5f14601428e461a6877c1d43d66

Parents:

1965800c56ab5ae85bbaa4c89cbae5719bd81515

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-10-20 14:55:51+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-10-22 13:55:04+02:00

Message:

Updating + Fixing

File:

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

Singular/dyn_modules/syzextra/syzextra.h

@@ -125 +125 @@
   public:
     CLeadingTerm(unsigned int label,  const poly lt, const ring);
-
-  public:
+    ~CLeadingTerm();
+
+  private:
 
     const unsigned long m_sev; ///< not short exp. vector
-        // NOTE/TODO: either of the following should be enough:
+    
+    // NOTE/TODO: either of the following should be enough:
     const unsigned int  m_label; ///< index in the main L[] + 1
+
     const poly          m_lt; ///< the leading term itself L[label-1]
 
-  public:
+#ifndef SING_NDEBUG
+    const ring _R;  const poly          m_lt_copy; ///< original copy of lt (only for debug!!!)
+#endif
+    
+
+  public:
+    
     bool DivisibilityCheck(const poly product, const unsigned long not_sev, const ring r) const;
     bool DivisibilityCheck(const poly multiplier, const poly t, const unsigned long not_sev, const ring r) const;
 
-  private:
+    bool CheckLT( const ideal & L ) const;
+
+    poly lt() const;    
+    unsigned long sev() const;
+    unsigned int label() const;
+
+  private:
+
     // disable the following:
     CLeadingTerm();
@@ -181 +197 @@
 #ifndef SING_NDEBUG
     void DebugPrint() const;
+    void Verify() const;
 #endif