computable 0.1.0

Computable real numbers with guaranteed correctness via interval refinement
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

//! Operations for the computation graph.
//!
//! This module contains all the NodeOp implementations:
//! - `BaseOp`: Wraps user-defined base nodes
//! - `NegOp`, `AddOp`, `MulOp`: Arithmetic operations
//! - `PowOp`: Integer power operation
//! - `InvOp`: Multiplicative inverse with precision refinement
//! - `SinOp`: Sine function using Taylor series
//! - `NthRootOp`: N-th root using binary search
//! - `PiOp`: Pi constant using Machin's formula with full interval propagation

mod arithmetic;
mod base;
mod inv;
pub mod nth_root;
pub mod pi;
mod pow;
pub mod sin;

pub use arithmetic::{AddOp, MulOp, NegOp};
pub use base::BaseOp;
pub use inv::InvOp;
pub use nth_root::NthRootOp;
pub use pi::{PiOp, pi, pi_bounds_at_precision};
pub use pow::PowOp;
pub use sin::SinOp;