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
namespace	polybori
namespace	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