18 #ifndef COMMON_PARAMS_HELPER 19 #define COMMON_PARAMS_HELPER void setIdealAndPolyOutput(const CommonParams ¶ms, const BigIdeal &input, CoefBigTermConsumer &output)
Use given ideal and support polynomial output.
Utility class for dealing with the contents of CommonParams.
auto_ptr< CoefTermConsumer > makeToUnivariatePolyConsumer()
bool _produceCanonicalOutput
auto_ptr< CoefTermConsumer > makeTranslatedPolyConsumer()
void readIdealAndSetPolyOutput(const CommonParams ¶ms)
Read input and support polynomial output.
void readIdeal(const CommonParams ¶ms, Scanner &in)
void addPurePowersAtInfinity()
BigTermConsumer & getIdealConsumer()
auto_ptr< TermTranslator > takeTranslator()
Represents a monomial ideal with int exponents.
Defines the variables of a polynomial ring and facilities IO involving them.
The intention of this class is to describe the different kinds of mathematical structures that Frobby...
auto_ptr< TermConsumer > makeTranslatedIdealConsumer(bool split=false)
void setIdealAndIdealOutput(const CommonParams ¶ms, const BigIdeal &input, BigTermConsumer &output)
Use given ideal and support ideal output.
This class offers an input interface which is more convenient and for some purposes more efficient th...
void readIdealAndSetIdealOutput(const CommonParams ¶ms)
Read input and support ideal output.
const VarNames & getNames()
void readIdealAndSetOutput(const CommonParams ¶ms, const DataType &output)
Read input ideal and support specified kind of output.
void setIdeal(const CommonParams ¶ms, const BigIdeal &ideal)
const TermTranslator & getTranslator() const
CoefBigTermConsumer * _polyConsumer
auto_ptr< Ideal > takeIdeal()
CoefBigTermConsumer & getPolyConsumer()
TermTranslator & getTranslator()
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
auto_ptr< CoefBigTermConsumer > _polyConsumerDeleter
auto_ptr< BigTermConsumer > _idealConsumerDeleter
CommonParamsHelper & operator=(const CommonParamsHelper &)
BigTermConsumer * _idealConsumer
auto_ptr< TermTranslator > _translator
const Ideal & getIdeal() const