Changeset cce6ed3 in git for kernel/f5gb.h

Timestamp:

Jan 25, 2009, 6:13:06 PM (14 years ago)

Author:

Christian Eder

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

f4e338f564fc725c8dac99c44cbf3f5ec5ceacb2

Parents:

0883ed62762dee5f6c5fa37f064d3883b99dc21f

Message:

lists done, started implementing f5incremental and critpair subalgorithms


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

File:

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

kernel/f5gb.h

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: f5gb.h,v 1.15 2009-01-15 17:44:23 ederc Exp $ */
+/* $Id: f5gb.h,v 1.16 2009-01-25 17:13:06 ederc Exp $ */
 /*
 * ABSTRACT: f5gb interface
@@ -21 +21 @@
 void qsort_degree(poly* left, poly* right);
 
-
 /*
 ==============================================
@@ -30 +29 @@
 void generate_input_list(LPoly* lp, ideal id, poly one);
 
-
 /*
 ==================================================
@@ -37 +35 @@
 ==================================================
 */
-LList* F5inc(const int i, LList* g_prev);
+LList* F5inc(int* i, poly* f_i, LList* gPrev, poly* ONE);
 
+/*
+================================================================
+computes a list of critical pairs for the next reduction process
+first element in gPrev is always the newest element which must
+build critical pairs with all other elements in gPrev
+================================================================
+*/
+CList* criticalPair(LList* gPrev);
 
+/*
+========================================
+Criterion 1, i.e. Faugere's F5 Criterion
+========================================
+*/
+bool criterion1(LNode* l, LList* gPrev);
 /*
 ======================================