Go to the documentation of this file.
17 #ifndef SLICE_PARAMETERS_GUARD
18 #define SLICE_PARAMETERS_GUARD
45 bool exposeIndependenceParam =
true,
46 bool supportBigattiAlgorithm =
false);
SliceParameters(bool exposeBoundParams=false, bool exposeIndependenceParam=true, bool supportBigattiAlgorithm=false)
Construct the parameters with default values.
BoolParameter _useBoundSimplification
BoolParameter _printDebug
BoolParameter _useSimplification
void validateSplitHilbert()
Checks that the Bigatti Et.al.
BoolParameter _useIndependence
bool getPrintStatistics() const
Returns the value of the stats option.
BoolParameter _useBigattiGeneric
A facade for computing Hilbert series of monomial ideals using the divide-and-conquer algorithm by Bi...
bool getUseBoundSimplification() const
Get the value of the bound simplification option.
bool getPrintDebug() const
Returns the value of the debug option.
bool getUseBoundElimination() const
Get the value of the bound elimination option.
This class represents the parameters associated to the Slice Algorithm and the similar Bigatti et....
bool _exposeIndependenceParam
BoolParameter _useBoundElimination
void validateSplit(bool allowLabel, bool allowDegree)
Checks that the slice split selection strategy specified is valid.
BoolParameter _printStatistics
void setSplit(const string &split)
Set the value of the option for choosing the split selection strategy.
bool getCanonical() const
Get the value of the canonical option.
void setUseIndependence(bool value)
Set the value of the independence split option.
const string & getSplit() const
Get the value of the split option.
A facade for operations on monomial ideals using the Slice Algorithm.
BoolParameter _widenPivot