comp

res2_pair* res2term::comp

Definition at line 13 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_component(), res2_comp::multi_degree(), res2_comp::reduce(), res2_comp::reduce2(), res2_comp::reduce3(), res2_comp::reduce4(), res2_comp::reduce_by_level(), res2_comp::reduce_heap_by_level(), and res2_comp::s_pair().