Update guess_rational.sagews