'Convert a ``DMF`` object to ``DMP``.
Examples
>>> from sympy.polys.polyclasses import DMP, DMF
>>> from sympy.polys.domains import ZZ
>>> from sympy.abc import x
>>> f = DMF(([ZZ(1), ZZ(1)], [ZZ(1)]), ZZ)
>>> K = ZZ.old_frac_field(x)
>>> F = ZZ.old_poly_ring(x).from_FractionField(f, K)
>>> F == DMP([ZZ(1), ZZ(1)], ZZ)
True
>>> type(F)
<class \'sympy.polys.polyclasses.DMP\'>'

def from_FractionField(K1, a, K0):

    if a.denom().is_one:
        return K1.from_GlobalPolynomialRing(a.numer(), K0)
