ShorterEliminationLength.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_groebner_ShorterEliminationLength_h_
#define polybori_groebner_ShorterEliminationLength_h_
// include basic definitions
#include "groebner_defs.h"
#include "GroebnerStrategy.h"
BEGIN_NAMESPACE_PBORIGB
class ShorterEliminationLength{
public:
const GroebnerStrategy* strat;
wlen_type el;
ShorterEliminationLength(const GroebnerStrategy& strat,wlen_type el){
this->el=el;
this->strat=&strat;
}
bool operator() (const Exponent& e){
return (strat->generators[e].weightedLength<=el);
}
};
END_NAMESPACE_PBORIGB
#endif /* polybori_ShorterEliminationLength_h_ */
polybori::BooleExponent
This class is just a wrapper for using variables for storing indices as interim data structure for Bo...
Definition: BooleExponent.h:34
END_NAMESPACE_PBORIGB
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
polybori::groebner::ShorterEliminationLength::ShorterEliminationLength
ShorterEliminationLength(const GroebnerStrategy &strat, wlen_type el)
Definition: ShorterEliminationLength.h:33
BEGIN_NAMESPACE_PBORIGB
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
polybori::groebner::GroebnerStrategy::generators
ReductionStrategy generators
Definition: GroebnerStrategy.h:204
polybori::groebner::ShorterEliminationLength::strat
const GroebnerStrategy * strat
Definition: ShorterEliminationLength.h:31
groebner_defs.h
polybori::groebner::GroebnerStrategy
This class defines GroebnerStrategy.
Definition: GroebnerStrategy.h:41
polybori::groebner::ShorterEliminationLength::el
wlen_type el
Definition: ShorterEliminationLength.h:32
polybori::groebner::wlen_type
long wlen_type
Definition: groebner_defs.h:39
polybori::groebner::ShorterEliminationLength
This class defines ShorterEliminationLength.
Definition: ShorterEliminationLength.h:29
GroebnerStrategy.h