(f, dom)
Convert the ground domain of ``f``.
Convert the ground domain of ``f``.
Convert the ground domain of f .
def convert(f, dom):
        """Convert the ground domain of ``f``. """
        if f.dom == dom:
            return f
        else:
            return DMP(dmp_convert(f.rep, f.lev, f.dom, dom), dom, f.lev)
def convert ( f , dom ) : if f . dom == dom : return f else : return DMP ( dmp_convert ( f . rep , f . lev , f . dom , dom ) , dom , f . lev )