Rounds and renders huge rational numbers to human-readable decimals.
Rounds and renders huge rational numbers to human-readable decimals.
Coq will tend to give big rational numbers (Q) as numerator and denominator. These can be hundreds of digits long and aren’t suitable for inclusion in papers or for most data analysis. Roundalize will turn those from a file that looks like this:
hello:61211:11345world:33476:47196
Which are of the format label into this:
denominator
hello=5.3954world=0.70929
This will work for arbitrarily large numbers.
To use the utility, specify the input file path and precision (after the decimal point) as an integer. Results will be printed to stanard output, but are easy enough to redirect to a file using > as in the example below. If no precision is specified it will default to 6.
Roundalize <file> [precision] > rounded.txt
Fabulous public domain Gist with the BigDecimal class by Jan Christoph Bernack.