43 beginAction(
"Validating monomial ideal format name.");
163 handler->createIdealWriter(
out)->consume(ideal);
182 for (vector<BigIdeal*>::const_iterator
it =
ideals.begin();
241 ideal = *(
recorder.releaseBigIdeal());
261 in.readInteger(
v[
i]);
277 beginAction(
"Reading frobenius instance with Grobner basis.");
285 (
in,
"The Grobner basis is not followed by a Frobenius instance.");
290 errorMsg <<
"The Grobner basis has "
292 <<
" entries, and the Frobenius instance should then also have "
294 <<
" entries, but in fact it has "
332 if (
in.getFormat() ==
"4ti2")
334 else if (
in.getFormat() ==
"fplll")
349 else if (
format ==
"fplll")
void exceptionSafePushBack(Container &container, auto_ptr< Element > pointer)
auto_ptr< IOHandler > createIOHandler(const string &prefix)
Returns an IOHandler for the format whose name has the given prefix.
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
void swap(BigIdeal &ideal)
size_t getVarCount() const
const VarNames & getNames() const
This is the super class of all facades.
void beginAction(const char *message)
Prints message to standard error if printing is turned on, and records the time when the action start...
void endAction()
Prints to standard error the time since the last call to beginAction.
A replacement for stringstream.
bool isValidLatticeFormat(const string &format)
void writeFrobeniusInstance(FILE *out, vector< mpz_class > &instance)
void readFrobeniusInstance(Scanner &in, vector< mpz_class > &instance)
void writePolynomial(const BigPolynomial &polynomial, IOHandler *handler, FILE *out)
bool isValidMonomialIdealFormat(const string &format)
void readPolynomial(Scanner &in, BigPolynomial &polynomial)
void readFrobeniusInstanceWithGrobnerBasis(Scanner &in, BigIdeal &ideal, vector< mpz_class > &instance)
void writeIdeal(const BigIdeal &ideal, IOHandler *handler, FILE *out)
void writeTerm(const vector< mpz_class > &term, const VarNames &names, IOHandler *handler, FILE *out)
void readIdeals(Scanner &in, vector< BigIdeal * > &ideals, VarNames &names)
Insert the ideals that are read into the parameter ideals.
void readLattice(Scanner &in, BigIdeal &ideal)
void readIdeal(Scanner &in, BigTermConsumer &consumer)
Read an ideal from in and feed it to consumer.
void readSquareFreeIdeal(Scanner &in, SquareFreeIdeal &ideal)
Read a square free ideal from in and place it in the parameter ideal.
void readSatBinomIdeal(Scanner &in, SatBinomConsumer &consumer)
Read a saturated binomial ideal from in and feed it to consumer.
void writeIdeals(const vector< BigIdeal * > &ideals, const VarNames &names, IOHandler *handler, FILE *out)
IOFacade(bool printActions)
void writeLattice(FILE *out, const BigIdeal &ideal, const string &format)
void readVector(Scanner &in, vector< mpz_class > &v, size_t integerCount)
bool readAlexanderDualInstance(Scanner &in, BigIdeal &ideal, vector< mpz_class > &term)
An IOHandler implements input and output for some format in such a way that client code does not need...
Represents a saturated binomial ideal.
SatBinomRecorder records all consumed saturated binomials into a passed-in ideal.
This class offers an input interface which is more convenient and for some purposes more efficient th...
void swap(SquareFreeIdeal &ideal)
Defines the variables of a polynomial ring and facilities IO involving them.
void reportSyntaxError(const Scanner &scanner, const string &errorMsg)
void readGrobnerBasis(Scanner &scanner, BigIdeal &basis)
void readLatticeBasis(Scanner &scanner, BigIdeal &basis)
void writeLatticeBasis(FILE *out, const BigIdeal &basis)
void readLatticeBasis(Scanner &scanner, BigIdeal &basis)
void writeLatticeBasis(FILE *out, const BigIdeal &basis)