Implement simplest_rational for RealSet #40496
Description
Problem Description
as in the title. we could implement simplest_rational for https://doc.sagemath.org/html/en/reference/sets/sage/sets/real_set.html , which currently is only available for real_mpfi (RealInterval) and real_mpfr (RealNumber).
Proposed Solution
Alternatives Considered
Additional Information
No response
Is there an existing issue for this?
- I have searched the existing issues for a bug report that matches the one I want to file, without success.