check_endpoint_conversion.py

back to table · edit · history · where entries came from · files · download

377 bytes, as of the version from 2026-10-26 04:16 (current). Recorded here, not run.

import numberdb.sage as numberdb
from sage.rings.real_arb import RealBallField
from sage.rings.rational_field import QQ
R=RealBallField(80)
x=R(QQ(1)/3).lower()
print('endpoint class',type(x).__name__)
print('QQ conversion equals exact rational',QQ(x)==x.exact_rational())
print('QQ denominator',QQ(x).denominator())
print('exact denominator',x.exact_rational().denominator())