the-q 0.2.1

Verified bounded rational (Q) arithmetic with machine-checked directed rounding
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
# Accuracy audit

Two independent oracles for the transcendental functions: `eval.py` (mpmath,
120 digits) and `eval.lisp` (SBCL, exact rational series on a `2^-160` grid).
They share nothing with the crate or with each other, and the Lisp run also
reports how far the two oracles disagree.

```sh
cargo test --release --test bounds dump_transcendentals -- --ignored
python3 scripts/accuracy/eval.py target/accuracy-dump.tsv
sbcl --script scripts/accuracy/eval.lisp target/accuracy-dump.tsv
```