mi

MonomialIdeal* res2_pair::mi

Definition at line 40 of file res-a0-pair.hpp.

Referenced by res2_comp::do_pairs_by_level(), res2_comp::reduce(), res2_comp::reduce2(), res2_comp::reduce3(), res2_comp::reduce4(), res2_comp::reduce_by_level(), and res2_comp::reduce_heap_by_level().