monom

int res2term::monom[1]

Definition at line 15 of file res-a0-poly.hpp.

Referenced by res2_poly::compare(), res2_comp::compare_res2_pairs(), res2_comp::do_pairs_by_level(), res2_poly::lead_monomial(), res2_comp::new_res2_pair(), res2_comp::reduce(), res2_comp::reduce2(), res2_comp::reduce3(), res2_comp::reduce4(), res2_comp::reduce_by_level(), res2_comp::reduce_heap_by_level(), res2_comp::reduce_minimal(), and res2_comp::s_pair().