Definition at line 266 of file polyring.hpp.
References denomR_, and Ring::Ring().
Referenced by create_quotient(), is_fraction_poly_ring(), n_fraction_vars(), and rawDenominatorRing().