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