def from_GlobalPolynomialRing(K1, a, K0):
        """Convert a polynomial to ``dtype``. """
        if 0 <= a.degree():
            return K1.convert(a.LC(), K0.dom)
dataset/ETHPy150Open sympy/sympy/sympy/polys/domains/domain.py/Domain.from_GlobalPolynomialRing/swapped operands of `<=`