class_docstr: A generalized polynomial ring, with objects DMF. 
class_docstr_tok: ["A","generalized","polynomial","ring",",","with","objects","DMF","."]
code: def from_FractionField(K1, a, K0):
      dmf = K1.get_field().from_FractionField(a, K0)
      return K1((dmf.num, dmf.den))
  
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 6 for calling the GeneralizedPolynomialRing obj's underlying member method code with example usage: obj.from_FractionField(K1, a, K0) and returns: K1