|
void | writeRing (const VarNames &names, FILE *out) |
|
void | writeTermProduct (const Term &term, const TermTranslator &translator, FILE *out) |
|
void | writeTermProduct (const vector< mpz_class > &term, const VarNames &names, FILE *out) |
|
void | readTerm (Scanner &in, vector< mpz_class > &term) |
|
void | readTerm (Scanner &in, InputConsumer &consumer) |
|
void | readVarPower (vector< mpz_class > &term, Scanner &in) |
|
void | readVarPower (Scanner &in, InputConsumer &consumer) |
|
void | readCoefTerm (mpz_class &coef, vector< mpz_class > &term, bool firstTerm, Scanner &in) |
|