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