Changeset 8627ad in git for kernel/f5gb.h

Timestamp:

Jun 26, 2008, 6:05:21 PM (15 years ago)

Author:

Christian Eder

Branches:

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

Children:

cf4f984ee6d7c9c1a66934b0144d4e0d64c11b01

Parents:

4bf7611fbd40e148feb7eae45c84e0cfe66f2ad0

Message:

*** empty log message ***


git-svn-id: file:///usr/local/Singular/svn/trunk@10806 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/f5gb.h (modified) (3 diffs)

kernel/f5gb.h

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: f5gb.h,v 1.5 2008-06-01 15:15:00 ederc Exp $ */
+/* $Id: f5gb.h,v 1.6 2008-06-26 16:05:21 ederc Exp $ */
 /*
 * ABSTRACT: f5gb interface
@@ -13 +13 @@
 
 
+// structure of the rules, i.e. index and term
+struct rule{
+        long index;
+        poly term;
+};
+
+
+// class of a labeled polynomial 
 class lpoly {
         private:
-                poly* t_ptr;
-                long* i_ptr;
-                poly* p_ptr;
+                poly term;
+                long index;
+                poly polynomial;
 
         public:
-                void setPoly(poly* p);
-                poly* getPoly();
-                void setTerm(poly* t);
-                poly* getTerm();
-                void setIndex(long* i);
-                long* getIndex();
+                void setPoly(poly p);
+                poly getPoly();
+                void setTerm(poly t);
+                poly getTerm();
+                void setIndex(long i);
+                long getIndex();
 };
 
@@ -34 +42 @@
 void qsort_degree(poly* left, poly* right);
 
+
+// computes incrementally gbs of subsets of the input 
+// gb{f_m} -> gb{f_m,f_(m-1)} -> gb{f_m,...,f_1}  
+lpoly* f5_inc(lpoly* lp, lpoly* g_prev);
+
+
 // main function of our f5 implementation
 ideal F5main(ideal i, ring r);