class_docstr: A true polynomial ring, with objects DMP. 
class_docstr_tok: ["A","true","polynomial","ring",",","with","objects","DMP","."]
docstr: 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)  # doctest: +SKIP
  <class 'sympy.polys.polyclasses.DMP_Python'>
docstr_tok: ["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",")","#","doctest",":","+SKIP","<","class","'sympy.polys.polyclasses.DMP_Python","'",">"]
code: def from_FractionField(K1, a, K0):
      """
      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)  # doctest: +SKIP
      <class 'sympy.polys.polyclasses.DMP_Python'>
  
      """
      if a.denom().is_one:
          return K1.from_GlobalPolynomialRing(a.numer(), K0)
  
imports: from sympy.polys.agca.modules import FreeModulePolyRing
  from sympy.polys.domains.compositedomain import CompositeDomain
  from sympy.polys.domains.old_fractionfield import FractionField
  from sympy.polys.domains.ring import Ring
  from sympy.polys.orderings import monomial_key, build_product_order
  from sympy.polys.polyclasses import DMP, DMF
  from sympy.polys.polyerrors import GeneratorsNeeded, PolynomialError, CoercionFailed, ExactQuotientFailed, NotReversible
  from sympy.polys.polyutils import dict_from_basic, basic_from_dict, _dict_reorder
  from sympy.utilities import public
  from sympy.utilities.iterables import iterable
label_desc: Use image node_id 2 for calling the GlobalPolynomialRing obj's underlying member method code with example usage: obj.from_FractionField(K1, a, K0) and returns: K1