void operator*=(Term& x, const Term& y) {
Term::map_citer_t it;
for (it = y.factors.begin(); it != y.factors.end(); ++it)
x.appendFactor(it->second);
x.coeff *= y.coeff;
}
void operator*=(Term& x, const Factor& y) {
x.appendFactor(y);
}