|
void | writeRing (const VarNames &names, FILE *out) |
|
void | writeRingWithoutHeader (const VarNames &names, FILE *out) |
|
void | readTerm (Scanner &in, InputConsumer &consumer) |
|
void | readRing (Scanner &in, VarNames &names) |
|
void | readRing (Scanner &in, VarNames &names, size_t varCount) |
|
void | writeTerm (const vector< mpz_class > &term, FILE *out) |
|
void | writeTerm (const Term &term, const TermTranslator &translator, FILE *out) |
|
void | readIdeal (Scanner &in, InputConsumer &consumer, size_t generatorCount, size_t varCount) |
|
void | readSatBinomIdeal (Scanner &in, SatBinomConsumer &consumer, size_t generatorCount, size_t varCount) |
|
void | display4ti2Warning () |
|