syz

resterm* res_pair::syz

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

Referenced by res_comp::handle_pair(), res_comp::reduce(), res_comp::reduce_gen(), and res_comp::reduce_level_one().