comp

res_pair* resterm::comp

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

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