monom

int resterm::monom[1]

Definition at line 66 of file res-a1-poly.hpp.

Referenced by res_poly::compare(), res_poly::lead_monomial(), res_comp::new_res_pair(), res_comp::reduce(), res_comp::reduce_gen(), res_comp::reduce_level_one(), and res_comp::reduce_minimal().