Definition at line 588 of file ring.cpp.
References Ring::cast_to_PolynomialRing(), ERROR, and PolynomialRing::getAmbientRing().