32 {
33 o << "Poly([";
34 bool first_term = true;
36 {
37 if (first_term)
38 first_term = false;
39 else
40 o << ", ";
41 o << a;
42 }
43 o << "]" << std::endl;
44 int nextloc = 0;
45 o << " monomials[";
47 {
48 if (i == nextloc) o << " .";
51 }
52 o << "])" << std::endl;
53 }
std::vector< int > mMonomials
std::vector< mpz_class > mCoefficients