Definition at line 317 of file res-a0-poly.cpp.
References K, M, new_term(), res2term::next, result(), and SYZ2_NOT_MINIMAL.