18#ifndef BIGATTI_HILBERT_ALGORITHM_GUARD
19#define BIGATTI_HILBERT_ALGORITHM_GUARD
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
This class handles the base cases for the Hilbert-Poincare series by Bigatti et.al.
void setDoCanonicalOutput(bool value)
void setPrintStatistics(bool value)
void freeState(auto_ptr< BigattiState > state)
auto_ptr< BigattiPivotStrategy > _pivot
CoefBigTermConsumer * _consumer
void getPivot(BigattiState &state, size_t &var, Exponent &e)
void setPrintDebug(bool value)
BigattiBaseCase _baseCase
void simplify(BigattiState &state)
Term _tmp_processState_pivot
void processState(auto_ptr< BigattiState > state)
void setComputeUnivariate(bool value)
ObjectCache< BigattiState > _stateCache
void setUseSimplification(bool value)
const TermTranslator & _translator
An ObjectCache keeps a cache of previously-used objects to cut down on the number of allocations.
TaskEngine handles a list of tasks that are to be carried out.
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
Term represents a product of variables which does not include a coefficient.