Go to the documentation of this file.
33 "Ignores input and produces no output.") {
static const DataType & getMonomialIdealListType()
Returns the one and only instance for monomial ideal lists.
static const DataType & getPolynomialType()
Returns the one and only instance for polynomials.
virtual void doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out)
virtual CoefBigTermConsumer * doCreatePolynomialWriter(FILE *out)
This class offers an input interface which is more convenient and for some purposes more efficient th...
virtual void doReadIdeals(Scanner &in, InputConsumer &consumer)
void registerInput(const DataType &type)
Specify that input of the argument type is supported.
This follows the null object pattern.
virtual BigTermConsumer * doCreateIdealWriter(FILE *out)
virtual void doReadTerm(Scanner &in, InputConsumer &consumer)
This class contains a minimum level of functionality that makes it more convenient to derive from tha...
virtual void doReadIdeal(Scanner &in, InputConsumer &consumer)
virtual bool doHasMoreInput(Scanner &in) const
Represents a saturated binomial ideal.
This follows the null object pattern.
static const char * staticGetName()
void registerOutput(const DataType &type)
Specify that output of the argument type is supported.
static const DataType & getMonomialIdealType()
Returns the one and only instance for monomial ideals.
virtual void consume(const vector< mpz_class > &term)=0
virtual void consume(const mpz_class &coef, const Term &term)
virtual void doReadPolynomial(Scanner &in, CoefBigTermConsumer &consumer)
Defines the variables of a polynomial ring and facilities IO involving them.
virtual void doReadSatBinomIdeal(Scanner &in, SatBinomConsumer &consumer)