Definition at line 1053 of file res-a1.cpp.
References emit_wrapped(), insert_res_pair(), M, M2_gbTrace, nminimal, p, R, reduce_gen(), remove_res_pair(), and SYZ_MINIMAL.
Referenced by gens().