Changeset d4cec61 in git for kernel/f5gb.h


Ignore:
Timestamp:
Aug 30, 2009, 5:26:00 PM (14 years ago)
Author:
Christian Eder
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
Children:
f414c0965b52eb8faa2ff8c9afef799657e50a29
Parents:
0cd54028aee03d965d1c6ff02be782f1b55ad9e1
Message:
implemented test for termination ideas


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

Legend:

Unmodified
Added
Removed

  • kernel/f5gb.h

    r0cd5402 rd4cec61  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: f5gb.h,v 1.42 2009-07-16 07:47:51 ederc Exp $ */
     4/* $Id: f5gb.h,v 1.43 2009-08-30 15:26:00 ederc Exp $ */
    55/*
    66* ABSTRACT: f5gb interface
    … …  
    4343==================================================
    4444*/
    45 LList* F5inc(int i, poly f_i, LList* gPrev, ideal gbPrev, poly ONE, LTagList* lTag, RList* rules, RTagList* rTag);
     45LList* F5inc(int i, poly f_i, LList* gPrev, ideal gbPrev, poly ONE, LTagList* lTag, RList* rules, RTagList* rTag,int termination);
    4646
    4747/*
    … …  
    9595========================================================================
    9696*/
    97 inline void newReduction(LList* sPolyList, CListOld* critPairs, LList* gPrev, RList* rules, LTagList* lTag, RTagList* rTag, ideal gbPrev);
     97inline void newReduction(LList* sPolyList, CListOld* critPairs, LList* gPrev, RList* rules, LTagList* lTag, RTagList* rTag, ideal gbPrev, int termination);
    9898
    9999/*!
    … …  
    109109 * ================================================================================
    110110 */
    111 void findReducers(LNode* l, LList* sPolyList, ideal gbPrev, LList* gPrev, CListOld* critPairs, RList* rules, LTagList* lTag, RTagList* rTag);
     111void findReducers(LNode* l, LList* sPolyList, ideal gbPrev, LList* gPrev, CListOld* critPairs, RList* rules, LTagList* lTag, RTagList* rTag, int termination);
    112112
    113113/*
    … …  
    140140======================================
    141141*/
    142 ideal F5main(ideal i, ring r, int opt);
     142ideal F5main(ideal i, ring r, int opt, int termination);
    143143
    144144#endif
Note: See TracChangeset for help on using the changeset viewer.