Definition at line 103 of file res-a0-poly.cpp.
References K, M, new_term(), res2term::next, and result().
Referenced by subtract_multiple_to().