diff options
Diffstat (limited to 'awklib/eg')
-rw-r--r-- | awklib/eg/lib/have_mpfr.awk | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/awklib/eg/lib/have_mpfr.awk b/awklib/eg/lib/have_mpfr.awk new file mode 100644 index 00000000..90bd523b --- /dev/null +++ b/awklib/eg/lib/have_mpfr.awk @@ -0,0 +1,9 @@ +# adequate_math_precision --- return true if we have enough bits +# +# Andrew Schorr, aschorr@telemetry-investments.com, Public Domain +# May 2017 + +function adequate_math_precision(n) +{ + return (1 != (1+(1/(2^(n-1))))) +} |