Definition at line 295 of file polyring.hpp.
References Ring::cast_to_PolynomialRing(), getDenominatorRing(), n_vars(), PolynomialRing(), and Ring::Ring().
Referenced by gbA::initialize().