<div id="comment:0"></div> I have implemented rational reconstruct over a generic univariate polynomial ring. I'm not sure if I put in the right place, if not, please let me know. Component: **commutative algebra** Keywords: **sd87, days88** Author: **Edgar Costa** Branch/Commit: **[`f392803`](https://github.com/sagemath/sagetrac-mirror/commit/f3928035402903290092fcca27f40c686950dd71)** Reviewer: **Aly Deines, Travis Scrimshaw** _Issue created by migration from https://trac.sagemath.org/ticket/23534_