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