pivot_term

resterm* res_pair::pivot_term

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