31 "Change the representation of the input lattice.",
32 "By default, latformat simply writes the input lattice to output.\n"
33 "The main functionality is to change the format.",
38 "The input format. The available formats are 4ti2 and fplll.",
43 "The output format. The additional format \"" +
45 "\" means use input format.",
50 "Adjust lattice basis to increase the number of zero entries.",
58 parameters.push_back(&
_zero);
71 reportError(
"Unknown lattice input format \"" + iformat +
"\".");
73 reportError(
"Unknown lattice output format \"" + oformat +
"\".");
virtual void obtainParameters(vector< Parameter * > ¶meters)
BoolParameter _printActions
void readLattice(Scanner &in, BigIdeal &ideal)
This class offers an input interface which is more convenient and for some purposes more efficient th...
void makeZeroesInLatticeBasis(BigIdeal &basis)
const string & getValue() const
void writeLattice(FILE *out, const BigIdeal &ideal, const string &format)
A facade for input and output of mathematical objects.
string getFormatNameIndicatingToUseInputFormatAsOutputFormat()
Using the returned string in place of an (output) format name indicates to use the input format as th...
void expectEOF()
Require that there is no more input.
A facade for operations on lattices.
void reportError(const string &errorMsg)
bool isValidLatticeFormat(const string &format)