Definition at line 2431 of file poly.cpp.
References determine_common_denominator_QQ(), PolynomialRing::getCoefficients(), globalQQ, globalZZ, and result().