1
#include "groebnerengine.h"
2
#include "buchberger.h"
5
class GroebnerEngineGfan : public GroebnerEngine
7
virtual PolynomialSet groebnerBasis(bool &success, PolynomialSet const &idealGenerators, TermOrder const &termOrder, bool autoreduce)
10
PolynomialSet ret=idealGenerators;
11
buchberger(&ret,termOrder);
14
virtual PolynomialSet autoReduce(bool &success, PolynomialSet const &idealGenerators)
17
PolynomialSet ret=idealGenerators;
18
autoReduce_(&ret,LexicographicTermOrder());//term order is ignored in autoReduce_() but this could change
21
virtual const char* name()
27
static GroebnerEngineGfan groebnerEngineGfan;