ring_hom.ext_rat source