Go to the documentation of this file.
26 Facade(params.getPrintActions()),
28 (params.getPivot(), params.getWidenPivot())),
39 beginAction(
"Computing multigraded Hilbert-Poincare series.");
53 beginAction(
"Computing univariate Hilbert-Poincare series");
BigattiFacade(const BigattiParams ¶ms)
void readIdealAndSetPolyOutput(const CommonParams ¶ms)
Read input and support polynomial output.
CoefBigTermConsumer & getPolyConsumer()
auto_ptr< Ideal > takeIdeal()
CommonParamsHelper _common
void endAction()
Prints to standard error the time since the last call to beginAction.
void setComputeUnivariate(bool value)
A BigattiPivotStrategy is an implementation of a pivot selection strategy for the Hilbert series algo...
TermTranslator & getTranslator()
void computeUnivariateHilbertSeries()
Computes the numerator of the univariate Hilbert-Poincare series with no cancellation of common terms...
void beginAction(const char *message)
Prints message to standard error if printing is turned on, and records the time when the action start...
void computeMultigradedHilbertSeries()
Computes the numerator of the multigraded Hilbert-Poincare series with no cancellation of common term...
auto_ptr< BigattiPivotStrategy > _pivot
This is the super class of all facades.