Expand description
Level 3 — ℝ_c. Computable reals: numbers stored as algorithms that produce a rational approximation to any requested precision, rather than as digits.
A ComputableReal wraps an Arc<dyn Computable> oracle plus a precision
cache. Asking for evaluate(p) returns a rational r with |self - r| < 10⁻ᵖ.
Transcendental constants use fully rational series (Machin’s formula for π,
the factorial series for e) so no floating point ever contaminates the
partial sums.
Structs§
- Computable
Real - A computable real number (Level 3 of the tower).
Traits§
- Computable
- An oracle that can approximate a real number to arbitrary precision.