18 #ifndef BIGATTI_STATE_GUARD 19 #define BIGATTI_STATE_GUARD 49 void print(FILE* out);
50 void print(ostream& out);
void colonStep(const Term &term)
void singleDegreeSort(size_t var)
const Term & getMultiply() const
BigattiHilbertAlgorithm * _algorithm
void addStep(const Term &term)
Represents a monomial ideal with int exponents.
size_t getVarCount() const
const Ideal & getIdeal() const
TaskEngine handles a list of tasks that are to be carried out.
Exponent getMedianPositiveExponentOf(size_t var)
virtual void dispose()
Called when the task is no longer used but run has not and will not be called.
size_t getTypicalExponent(size_t &var, Exponent &exp)
virtual void run(TaskEngine &tasks)
Does whatever work this task represents.
BigattiState(BigattiHilbertAlgorithm *algorithm, const Ideal &ideal, const Term &_multiply)
A Task object represents a unit of work that is performed when the method run() is called...
Term represents a product of variables which does not include a coefficient.