Changeset 66e7b5 in git for kernel/f5gb.h


Ignore:
Timestamp:
Jan 29, 2009, 6:59:30 PM (15 years ago)
Author:
Christian Eder
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
5d0556d9643aab314fbe86e3ef4cbcd69d864661
Parents:
5376a6afb7e0e9c5e8ba37a9e7964552e94edc3b
Message:
subalgorithms criticalPairs, criterion1 and criterion2 added


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

Legend:

Unmodified
Added
Removed

  • kernel/f5gb.h

    r5376a6 r66e7b5  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: f5gb.h,v 1.17 2009-01-28 17:20:53 Singular Exp $ */
     4/* $Id: f5gb.h,v 1.18 2009-01-29 17:59:30 ederc Exp $ */
    55/*
    66* ABSTRACT: f5gb interface
    … …  
    3535==================================================
    3636*/
    37 LList* F5inc(int* i, poly* f_i, LList* gPrev, poly* ONE);
     37LList* F5inc(int* i, poly* f_i, LList* gPrev, poly* ONE, RList* rules, LTagList* lTag);
    3838
    3939/*
    … …  
    4444================================================================
    4545*/
    46 CList* criticalPair(LList* gPrev);
     46CList* criticalPair(LList* gPrev, CList* critPairs, RList* rules, LTagList* lTag);
    4747
    4848/*
    … …  
    5151========================================
    5252*/
    53 bool criterion1(LNode* l, LList* gPrev);
     53bool criterion1(poly* t, LNode* l, LTagList* lTag);
     54
     55/*
     56=====================================
     57Criterion 2, i.e. Rewritten Criterion
     58=====================================
     59*/
     60bool criterion2(poly* t, LNode* l, RList* rules);
     61
    5462/*
    5563======================================
Note: See TracChangeset for help on using the changeset viewer.