32 tmp.resize(
tmp.size() + 1);
39 if (
tmp.front().size() !=
tmp.back().size()) {
43 <<
" entries, while row "
55 for (
unsigned int i = 0;
i <
tmp.size(); ++
i) {
57 for (
unsigned int j = 0;
j <
tmp[
i].size(); ++
j)
64 for (
unsigned int i = 0;
i <
basis.getGeneratorCount(); ++
i) {
66 const char* prefix =
"";
67 for (
unsigned int j = 0;
j <
basis[
i].size(); ++
j) {
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
A replacement for stringstream.
This class offers an input interface which is more convenient and for some purposes more efficient th...
Defines the variables of a polynomial ring and facilities IO involving them.
void reportSyntaxError(const Scanner &scanner, const string &errorMsg)
void readLatticeBasis(Scanner &scanner, BigIdeal &basis)
void writeLatticeBasis(FILE *out, const BigIdeal &basis)