32 "Compute the Hilbert-Poincare series of the input ideal.",
33 "Compute the multigraded Hilbert-Poincare series of the input\n"
34 "ideal. Use the -univariate option to get the univariate series.\n\n"
35 "The Hilbert-Poincare series of a monomial ideal is the sum of all\n"
36 "monomials not in the ideal. This sum can be written as a (finite)\n"
37 "rational function with (x1-1)(x2-1)...(xn-1) in the denominator,\n"
38 "assuming the variables of the ring are x1,x2,...,xn. This action\n"
39 "computes the polynomial in the numerator of this fraction.",
48 "Output a univariate polynomial by substituting t for each variable.",
53 "Which algorithm to use. Options are slice, bigatti and deform.",
69 facade.computeUnivariateHilbertSeries();
71 facade.computeMultigradedHilbertSeries();
84 facade.computeUnivariateHilbertSeries();
86 facade.computeMultigradedHilbertSeries();
88 reportError(
"Unknown Hilbert-Poincare series algorithm \"" +
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
void addScarfParams(CliParams ¶ms)
void validateSplit(const SliceParams ¶ms, bool allowLabel, bool allowDegree)
A facade for computing Hilbert series of monomial ideals using the divide-and-conquer algorithm by Bi...
void add(auto_ptr< Parameter > param)
The intention of this class is to describe the different kinds of mathematical structures that Frobby...
static const DataType & getPolynomialType()
Returns the one and only instance for polynomials.
BoolParameter _univariate
SliceParameters _sliceParams
StringParameter _algorithm
static const char * staticGetName()
A facade for operations on monomial ideals using the Slice Algorithm.
const string & getValue() const
void reportError(const string &errorMsg)