33 reportError(
"Encountered positive entry as first entry in term. "
34 "This is impossible if using the required degree reverse "
35 "lexicographic term order.\n");
53 (
"The matrix defining the Frobenius-related Grobner basis must "
54 "have at least one column, and this one has none.");
82 (
unsigned long)
basis.getGeneratorCount(),
83 (
unsigned long)
basis.getVarCount());
84 for (
unsigned int i = 0;
i <
basis.getGeneratorCount(); ++
i) {
85 const char* prefix =
"";
86 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...
mpz_class & getLastTermExponentRef(size_t var)
size_t getVarCount() const
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 reportError(const string &errorMsg)
void readGrobnerBasis(Scanner &scanner, BigIdeal &basis)
void readTerm(BigIdeal &ideal, Scanner &scanner)
void readLatticeBasis(Scanner &scanner, BigIdeal &basis)
void writeLatticeBasis(FILE *out, const BigIdeal &basis)