Go to the documentation of this file.
18 #ifndef BIGATTI_HILBERT_ALGORITHM_GUARD
19 #define BIGATTI_HILBERT_ALGORITHM_GUARD
41 auto_ptr<BigattiPivotStrategy> pivot,
57 void freeState(auto_ptr<BigattiState> state);
70 auto_ptr<BigattiPivotStrategy>
_pivot;
Term _tmp_processState_pivot
const TermTranslator & _translator
auto_ptr< BigattiPivotStrategy > _pivot
BigattiBaseCase _baseCase
void processState(auto_ptr< BigattiState > state)
void setDoCanonicalOutput(bool value)
void setUseSimplification(bool value)
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
TaskEngine handles a list of tasks that are to be carried out.
void getPivot(BigattiState &state, size_t &var, Exponent &e)
Term represents a product of variables which does not include a coefficient.
void setComputeUnivariate(bool value)
CoefBigTermConsumer * _consumer
void setPrintDebug(bool value)
BigattiHilbertAlgorithm(auto_ptr< Ideal > ideal, const TermTranslator &translator, const BigattiParams ¶ms, auto_ptr< BigattiPivotStrategy > pivot, CoefBigTermConsumer &consumer)
Construct an object for running the Bigatti et.al.
void freeState(auto_ptr< BigattiState > state)
void setPrintStatistics(bool value)
This class handles the base cases for the Hilbert-Poincare series by Bigatti et.al.
ObjectCache< BigattiState > _stateCache
void simplify(BigattiState &state)