PolyBoRi
Namespaces | Typedefs
ReductionStrategy.cc File Reference
#include <polybori/groebner/ReductionStrategy.h>
#include <polybori/groebner/LessWeightedLengthInStrat.h>
#include <polybori/groebner/LessWeightedLengthInStratModified.h>
#include <polybori/groebner/nf.h>
#include <polybori/groebner/red_tail.h>

Namespaces

 polybori
 
 polybori::groebner
 

Typedefs

typedef LessWeightedLengthInStratModified polybori::groebner::StratComparerForSelect
 

Detailed Description

Author
Michael Brickenstein
Date
2011-06-30

This file includes the definition of the class ReductionStrategy.

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