PolyBoRi
Namespaces | Functions
red_tail.h File Reference
#include "groebner_defs.h"
#include "LexHelper.h"
#include "DegOrderHelper.h"
#include "BlockOrderHelper.h"
#include "GroebnerStrategy.h"

Go to the source code of this file.

Namespaces

 polybori
 
 polybori::groebner
 

Functions

Polynomial polybori::groebner::red_tail_general (const ReductionStrategy &strat, Polynomial p)
 
template<class Helper >
Polynomial polybori::groebner::red_tail_generic (const ReductionStrategy &strat, Polynomial p)
 
Polynomial polybori::groebner::red_tail (const ReductionStrategy &strat, Polynomial p)
 
Polynomial polybori::groebner::red_tail_short (const ReductionStrategy &strat, Polynomial p)
 
Polynomial polybori::groebner::red_tail_in_last_block (const GroebnerStrategy &strat, Polynomial p)
 

Detailed Description

Author
Michael Brickenstein
Date
2011-07-01

This file includes the definition of the red_tail functions.

Copyright:
(c) 2006-2011 by The PolyBoRi Team