Really print no radius with ARB_STR_NO_RADIUS

flintlib / arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead

http://arblib.org/

GNU Lesser General Public License v2.1

455 stars 137 forks source link

Really print no radius with ARB_STR_NO_RADIUS #325

Closed fredrik-johansson closed 3 years ago

fredrik-johansson commented 4 years ago

Currently with ARB_STR_NO_RADIUS, intervals with no significant digits print like [+/- 7.82e-646].

It would arguably be better if this printed as 0e-645. It follows the contract that the last printed digit is correct to +/-1 unit, and ensures that output of ARB_STR_NO_RADIUS is a regular float literal that can be parsed by other software.