hyperreal 0.13.0

Exact rational and computable real arithmetic in Rust
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56

//! Exact rational, symbolic real, and computable real arithmetic.
//!
//! `hyperreal` represents values as a mix of exact rationals, recognized
//! symbolic forms such as `pi`, `e`, logarithms, and trigonometric special
//! forms, and lazily evaluated computable expressions. The public structural
//! query APIs expose cheap conservative facts for callers that need to avoid
//! forcing high-precision evaluation. The lazy approximation layer follows the
//! exact-real arithmetic model described by Boehm et al.,
//! <https://doi.org/10.1145/319838.319860>.
//!
//! Exactness here is a certified-data contract, not a promise that every value
//! is eagerly reduced to one canonical scalar form. Following Yap's exact
//! geometric computation model, `Real` preserves rational, symbolic,
//! structural, and refinement facts so higher layers can make exact decisions
//! or return explicit uncertainty without hiding primitive-float fallbacks.
//! See Yap, "Towards Exact Geometric Computation," *Computational Geometry*,
//! 1997, pp. 3-23.

mod rational;
pub use crate::rational::Rational;

mod structural;
pub use crate::structural::{
    CertifiedRealEquality, CertifiedRealOrdering, CertifiedRealSign, DomainFacts, DomainStatus,
    ExpressionDegree, IdentityFacts, MagnitudeBits, OrderingFacts, PrimitiveFacts,
    PrimitiveFloatStatus, RationalFacts, RationalStorageClass, RealDetailedFacts,
    RealEqualityCertificate, RealOrderingCertificate, RealSign, RealSignCertificate,
    RealStructuralFacts, StructuralComparison, StructuralKind, SymbolicDependencyMask,
    SymbolicFacts, ZeroKnowledge, ZeroOneMinusOneStatus, ZeroOneStatus,
};

mod trace;
pub(crate) use trace::trace_dispatch;

#[cfg(feature = "dispatch-trace")]
pub mod dispatch_trace;

mod computable;
pub use crate::computable::Computable;

mod real;
pub use crate::real::{
    Real, RealExactSetDenominatorKind, RealExactSetDyadicExponentClass, RealExactSetFacts,
    RealExactSetSignPattern,
};

#[cfg(feature = "simple")]
mod simple;
#[cfg(feature = "simple")]
pub use crate::simple::Simple;

mod problem;
pub use crate::problem::Problem;

#[cfg(feature = "serde")]
mod serde;