Changeset c9193a in git for kernel/f5gb.h

Timestamp:

Feb 28, 2009, 10:14:06 PM (14 years ago)

Author:

Christian Eder

Branches:

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

Children:

5887d78d81d30fb2177cf296ce90d01565c6ae3b

Parents:

1863d8a8be27be6f1d1a24187172fe5ab71c385f

Message:

fixed bug: zero reduction after top reduction


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

File:

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

kernel/f5gb.h

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: f5gb.h,v 1.29 2009-02-26 09:01:52 ederc Exp $ */
+/* $Id: f5gb.h,v 1.30 2009-02-28 21:14:06 ederc Exp $ */
 /*
 * ABSTRACT: f5gb interface
@@ -45 +45 @@
 */
 void criticalPair(LList* gPrev, CList* critPairs, LTagList* lTag, RTagList* rTag, RList* rules);
+
+/*
+================================================================
+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
+this is a special version for reduction() in which the first 
+generator of the critical pair is not tested by criterion2()
+as there are no rules added until then to test for
+================================================================
+*/
+void criticalPairRed(LList* gPrev, CList* critPairs, LTagList* lTag, RTagList* rTag, RList* rules);
 
 /*