#rational-numbers #number #arbitrary-precision

reckoner

A high level arbitrary precision arithmetic library supporting integer and rational numbers

4 releases

0.2.0 Oct 25, 2022
0.1.2 Apr 18, 2021
0.1.1 Apr 18, 2021
0.1.0 Jan 14, 2020

#307 in Math

31 downloads per month

MIT license

630KB
15K SLoC

Rust 10K SLoC // 0.2% comments C 4.5K SLoC // 0.2% comments Python 151 SLoC // 0.4% comments Shell 32 SLoC // 0.1% comments

Reckoner

A high level arbitrary precision integer and rational arithmetic library wrapping imath.

Example

The following example computes an approximation of pi using the Newton / Euler Convergence Transformation.

use reckoner::{Integer, Rational};

fn factorial(v: &Integer) -> Integer {
    let mut accum = 1.into();
    let mut f = v.clone();

    while f > 0 {
        accum *= &f;
        f -= 1;
    }

    accum
}

// Product of all odd integer up to the given value.
fn odd_factorial(v: &Integer) -> Integer {
    let mut accum = 1.into();
    let mut f = if v % 2 == 0 { v - 1 } else { v.clone() };

    while f > 0 {
        accum *= &f;
        f -= 2;
    }

    accum
}

// ```
// \frac{\pi}{2}
//     = \sum_{k=0}^\infty\frac{k!}{(2k+1)!!}
//     = \sum_{k=0}^{\infty} \cfrac {2^k k!^2}{(2k + 1)!}
//     = 1+\frac{1}{3}\left(1+\frac{2}{5}\left(1+\frac{3}{7}\left(1+\cdots\right)\right)\right)
// ```
fn compute_pi_approx(iterations: u32) -> Rational {
    2 * (0..iterations)
        .map(Integer::from)
        .map(|n| {
            let numerator = factorial(&n);
            let denominator = odd_factorial(&(2 * n + 1));

            (numerator, denominator).into()
        })
        .sum::<Rational>()
}

See examples/ for more.

Crates

The MSRV for both crates is 1.64.0.

reckoner

crates.io docs.rs

A high level arbitrary precision arithmetic library supporting integer and rational numbers.

creachadair-imath-sys

crates.io docs.rs

FFI bindings for imath.

Documentation

Master documentation for reckoner

Master documentation for creachadair-imath-sys

Dependencies

~0–2.6MB
~40K SLoC