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 | ||
) |