|
Frobby
0.9.5
|
Functions | |
| 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) |
| void IO::CoCoA4::readCoefTerm | ( | mpz_class & | coef, |
| vector< mpz_class > & | term, | ||
| bool | firstTerm, | ||
| Scanner & | in | ||
| ) |
| void IO::CoCoA4::readTerm | ( | Scanner & | in, |
| InputConsumer & | consumer | ||
| ) |
| void IO::CoCoA4::readTerm | ( | Scanner & | in, |
| vector< mpz_class > & | term | ||
| ) |
| void IO::CoCoA4::readVarPower | ( | Scanner & | in, |
| InputConsumer & | consumer | ||
| ) |
| void IO::CoCoA4::readVarPower | ( | vector< mpz_class > & | term, |
| Scanner & | in | ||
| ) |
| void IO::CoCoA4::writeRing | ( | const VarNames & | names, |
| FILE * | out | ||
| ) |
| void IO::CoCoA4::writeTermProduct | ( | const Term & | term, |
| const TermTranslator & | translator, | ||
| FILE * | out | ||
| ) |
| void IO::CoCoA4::writeTermProduct | ( | const vector< mpz_class > & | term, |
| const VarNames & | names, | ||
| FILE * | out | ||
| ) |