decimal-scaled 0.5.0

Const-generic base-10 fixed-point decimals (D18/D38/D76/D153/D307 and the half-width tiers up to D1232) with integer-only transcendentals correctly rounded to within 0.5 ULP — exact at the type's last representable place. Deterministic across every platform; no_std-friendly.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

// SPDX-FileCopyrightText: 2026 John Moxley
// SPDX-License-Identifier: MIT OR Apache-2.0

//! Hypotenuse algorithm family.
//!
//! `hypot` computes `sqrt(a² + b²)` by routing the root **down** through
//! the integer layer, exactly as the raw-storage root kernels in
//! [`crate::algos::sqrt`] do: it forms the radicand `a² + b²` in a wider
//! work integer and takes the floor root via
//! [`crate::int::types::traits::BigInt::isqrt`], then a single round step
//! — it does **not** call the decimal `sqrt` surface on the tier's own
//! value. The single variant serves every `(N, SCALE)` cell; the per-cell
//! selection lives in [`crate::policy::hypot`].
//!
//! - [`hypot_pythagoras`] — `round(sqrt(a² + b²))` over a work width `W` that
//!   covers `a² + b²`. Generic over the storage and work widths `(S, W)`;
//!   the rounding step is identical to
//!   [`crate::algos::sqrt::sqrt_newton`].
//!
//! [`hypot_pythagoras`]: crate::algos::hypot::hypot_pythagoras::hypot_pythagoras

pub(crate) mod hypot_pythagoras;