Changeset c9193a in git for kernel/f5gb.h


Ignore:
Timestamp:
Feb 28, 2009, 10:14:06 PM (15 years ago)
Author:
Christian Eder
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
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:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/f5gb.h

    r1863d8 rc9193a  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: f5gb.h,v 1.29 2009-02-26 09:01:52 ederc Exp $ */
     4/* $Id: f5gb.h,v 1.30 2009-02-28 21:14:06 ederc Exp $ */
    55/*
    66* ABSTRACT: f5gb interface
    … …  
    4545*/
    4646void criticalPair(LList* gPrev, CList* critPairs, LTagList* lTag, RTagList* rTag, RList* rules);
     47
     48/*
     49================================================================
     50computes a list of critical pairs for the next reduction process
     51first element in gPrev is always the newest element which must
     52build critical pairs with all other elements in gPrev
     53this is a special version for reduction() in which the first
     54generator of the critical pair is not tested by criterion2()
     55as there are no rules added until then to test for
     56================================================================
     57*/
     58void criticalPairRed(LList* gPrev, CList* critPairs, LTagList* lTag, RTagList* rTag, RList* rules);
    4759
    4860/*
Note: See TracChangeset for help on using the changeset viewer.