17 #ifndef SLICE_FACADE_GUARD
18 #define SLICE_FACADE_GUARD
187 (
const vector<mpz_class>& grading,
189 bool reportAllSolutions);
204 (
const vector<mpz_class>& grading,
205 mpz_class& optimalValue,
206 bool reportAllSolutions);
212 mpz_class& optimalValue,
213 bool reportAllSolutions);
Utility class for dealing with the contents of CommonParams.
void computeAlexanderDual()
Compute the Alexander dual of the ideal.
This is the super class of all facades.
auto_ptr< SplitStrategy > _split
void getLcmOfIdeal(vector< mpz_class > &lcm)
void computeMultigradedHilbertSeries()
Compute the numerator of the multigraded Hilbert-Poincare series.
void lcm(Word *res, const Word *resEnd, const Word *a, const Word *b)
The intention of this class is to describe the different kinds of mathematical structures that Frobby...
void codimension(const Ideal &ideal, mpz_t codim)
Compute the codimension of a monomial ideal.
This class is used to transfer terms one at a time from one part of the program to another...
void computeMaximalStandardMonomials()
Compute the maximal standard monomials of the ideal.
void dimension(const Ideal &ideal, mpz_t dim)
Compute the Krull dimension of a monomial ideal.
void produceEncodedIrrDecom(TermConsumer &consumer)
bool solveStandardProgram(const vector< mpz_class > &grading, mpz_class &value, bool reportAllSolutions)
Solve an optimization program over maximal standard monomials.
bool isFirstComputation() const
A facade for operations on monomial ideals using the Slice Algorithm.
SliceFacade(const SliceParams ¶ms, const DataType &output)
void computeIrreducibleDecomposition(bool encode)
Compute the unique irredundant set of irreducible ideals whose intersection equals ideal...
mpz_class computeDimension(bool codimension=false)
Compute the Krull dimension of ideal.
void computeAssociatedPrimes()
Compute the associated primes of the ideal.
An IOHandler implements input and output for some format in such a way that client code does not need...
This class describes the interface of a strategy object for the Slice Algorithm.
CommonParamsHelper _common
void computeMaximalStaircaseMonomials()
Compute the maximal staircase monomials of the ideal.
bool solveIrreducibleDecompositionProgram(const vector< mpz_class > &grading, mpz_class &optimalValue, bool reportAllSolutions)
Solve an optimization program over irreducible components.
bool solveProgram(const vector< mpz_class > &grading, mpz_class &optimalValue, bool reportAllSolutions)
void computeUnivariateHilbertSeries()
Compute the numerator of the univariate Hilbert-Poincare series.
void runSliceAlgorithmWithOptions(SliceStrategy &strategy)
void computePrimaryDecomposition()
Compute the unique "nicest" primary decomposition of the ideal.