46 _produceCanonicalOutput(
false) {
76 string msg =
"Unsupported output type of ";
180 printer.beginAction(
"Translating ideal to internal data structure.");
185 if (!
params.getIdealIsMinimal()) {
186 printer.beginAction(
"Minimizing ideal.");
191 if (
params.getProduceCanonicalOutput()) {
192 printer.beginAction(
"Sorting variables for canonical representation.");
auto_ptr< IOHandler > createOHandler(const string &input, const string &output)
Returns an IOHandler for the output format.
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
Passes consumed items on in a canonical order.
TermTranslator & getTranslator()
void setIdeal(const CommonParams ¶ms, const BigIdeal &ideal)
bool _produceCanonicalOutput
void readIdeal(const CommonParams ¶ms, Scanner &in)
void addPurePowersAtInfinity()
auto_ptr< TermConsumer > makeTranslatedIdealConsumer(bool split=false)
void setIdealAndIdealOutput(const CommonParams ¶ms, const BigIdeal &input, BigTermConsumer &output)
Use given ideal and support ideal output.
auto_ptr< CoefTermConsumer > makeToUnivariatePolyConsumer()
void readIdealAndSetOutput(const CommonParams ¶ms, const DataType &output)
Read input ideal and support specified kind of output.
void readIdealAndSetIdealOutput(const CommonParams ¶ms)
Read input and support ideal output.
void readIdealAndSetPolyOutput(const CommonParams ¶ms)
Read input and support polynomial output.
auto_ptr< BigTermConsumer > _idealConsumerDeleter
BigTermConsumer * _idealConsumer
auto_ptr< CoefBigTermConsumer > _polyConsumerDeleter
void setIdealAndPolyOutput(const CommonParams ¶ms, const BigIdeal &input, CoefBigTermConsumer &output)
Use given ideal and support polynomial output.
CoefBigTermConsumer * _polyConsumer
auto_ptr< TermTranslator > _translator
auto_ptr< CoefTermConsumer > makeTranslatedPolyConsumer()
The intention of this class is to describe the different kinds of mathematical structures that Frobby...
const char * getName() const
Returns the name of the structure.
static const DataType & getNullType()
Returns the one and only instance for null.
static const DataType & getMonomialIdealListType()
Returns the one and only instance for monomial ideal lists.
static const DataType & getMonomialIdealType()
Returns the one and only instance for monomial ideals.
static const DataType & getPolynomialType()
Returns the one and only instance for polynomials.
A facade for input and output of mathematical objects.
Represents a monomial ideal with int exponents.
This follows the null object pattern.
This follows the null object pattern.
This class offers an input interface which is more convenient and for some purposes more efficient th...
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
#define INTERNAL_ERROR(msg)