Definition at line 18 of file res-a0-poly.cpp.
References res2term::comp, res2_pair::compare_num, M, and res2term::monom.
Referenced by add_to().