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