17 #ifndef LIB_TEST_GUARD 18 #define LIB_TEST_GUARD 36 const mpz_t*
castLibArray(
const vector<mpz_class>& vect);
44 virtual void consume(mpz_ptr* exponentVector);
63 virtual void consume(mpz_ptr* exponentVector);
66 const vector<BigIdeal>& getIdeals()
const;
78 virtual void polynomialBegin(
size_t varCount);
79 virtual void consume(
const mpz_t coef, mpz_ptr* exponentVector);
LibIdealConsumer(const VarNames &names)
Defines the variables of a polynomial ring and facilities IO involving them.
vector< BigIdeal > _ideals
bool hasAnyOutput() const
Returns whether any ideal has been recorded.
virtual void consume(mpz_ptr *exponentVector)
For output of a generator of the ideal.
This class provides a way to get polynomials as output from Frobby one term at a time.
Records library interface output into a BigIdeal.
virtual void idealBegin(size_t varCount)
Called before output of a monomial ideal.
Records library interface output into a vector of BigIdeals.
This class provides a way to get monomial ideals as output from Frobby one generator at a time...
const BigIdeal & getIdeal() const
Returns the recorded ideal in a canonical form.
BigPolynomial _polynomial
Frobby::Ideal toLibIdeal(const BigIdeal &ideal)
Returns a library interface ideal that corresponds to the parameter ideal.
Records library interface output into a BigPolynomial.
const mpz_t * castLibArray(const vector< mpz_class > &vect)
Returns a pointer to an array of mpt_t that represents the entries in the mpz_class.