Changeset 6b0aa2 in git for kernel/f5gb.h


Ignore:
Timestamp:
Apr 20, 2009, 3:54:50 PM (14 years ago)
Author:
Christian Eder
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
Children:
f85223c462c7704fe0b5d7c8e916ba08f7ca4e86
Parents:
694257b820eac75a8100417ebf8f059879a873fd
Message:
new alternative reduction - still in progress!


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

Legend:

Unmodified
Added
Removed

  • kernel/f5gb.h

    r694257b r6b0aa2  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: f5gb.h,v 1.36 2009-04-07 13:30:01 ederc Exp $ */
     4/* $Id: f5gb.h,v 1.37 2009-04-20 13:54:50 ederc Exp $ */
    55/*
    66* ABSTRACT: f5gb interface
    … …  
    9898
    9999/*
     100========================================================================
     101reduction including subalgorithm topReduction() using Faugere's criteria
     102========================================================================
     103*/
     104inline void newReduction(LList* sPolyList, CList* critPairs, LList* gPrev, RList* rules, LTagList* lTag, RTagList* rTag,
     105                 ideal gbPrev);
     106
     107/*!
     108 * ================================================================================
     109 * searches for reducers of temp similar to the symbolic preprocessing of F4  and
     110 * divides them into a "good" and "bad" part:
     111 *
     112 * the "good" ones are the reducers which do not corrupt the label of temp, with
     113 * these the normal form of temp is computed
     114 *
     115 * the "bad" ones are the reducers which corrupt the label of temp, they are tested
     116 * later on for possible new rules and S-polynomials to be added to the algorithm
     117 * ================================================================================
     118 */
     119void findReducers(LNode* l, LList* sPolyList, LList* gPrev, CList* critPairs, RList* rules, LTagList* lTag, RTagList* rTag);
     120
     121/*
    100122=====================================================================================
    101123top reduction in F5, i.e. reduction of a given S-polynomial by labeled polynomials of
Note: See TracChangeset for help on using the changeset viewer.