P

const PolynomialRing* res_comp::P

private

Definition at line 78 of file res-a1.hpp.

Referenced by find_ring_divisor(), free_of(), initialize(), minimal_free_of(), new_pairs(), new_res_pair(), new_res_pair(), new_res_pair(), skeleton_pairs(), and sort_value().