Add Ziv loop for guaranteed rounding#97

Merged

cmpute merged 24 commits into

Jul 27, 2026

Commits on Jul 18, 2026

Initial impl for Ziv loop
Jacob Zhong
committed

Commits on Jul 19, 2026

Fix log perf
Jacob Zhong
committed
Simplify basic operations for Repr
Jacob Zhong
committed

Commits on Jul 20, 2026

Ziv loop for trigonometric, hyperbolic, and hypot (powf deferred)

Jacob Zhong
and
claude
committed
Ziv loop for powf (non-integer exponent); integer exponent delegates to powi

Jacob Zhong
and
claude
committed
Fix acos(1) hang under directed rounding

Jacob Zhong
and
claude
committed
Special-case asin(0) and acos(-1) under directed rounding

Jacob Zhong
and
claude
committed
Fix NTT sqr/mul panic on all-zero operand

Jacob Zhong
and
claude
committed
docs: update hypot note after the dashu-int NTT fix

Jacob Zhong
and
claude
committed
Restructure hypot to sqrt(large^2 + small^2) with exactness tracking

Jacob Zhong
and
claude
committed

Commits on Jul 21, 2026

Address review: float cleanup + tan pole-check removal

Jacob Zhong
and
claude
committed
Address review: cmplx unlimited-precision handling

Jacob Zhong
and
claude
committed
Ziv correct-rounding for the complex transcendentals

Jacob Zhong
and
claude
committed
Complex tan via the cancellation-free double-angle form

Jacob Zhong
and
claude
committed
Fix no_std build of the test-only Ziv retry counter

Jacob Zhong
and
claude
committed
powi: guaranteed-correct rounding via the Ziv loop

Jacob Zhong
and
claude
committed
cmplx: guaranteed-correct rounding for powi via the Ziv loop

Jacob Zhong
and
claude
committed
cmplx: factor 1-z² in asin/acos for accuracy at the z=±1 singularities

Jacob Zhong
and
claude
committed
cmplx: exact-accumulating Sum for CBig

Jacob Zhong
and
claude
committed
docs: mark powi correctly-rounded and asin/acos fixed at z=±1

Jacob Zhong
and
claude
committed

Commits on Jul 24, 2026

Merge branch 'master' into ziv
Jacob Zhong
committed
log2: guaranteed-correct rounding via the Ziv loop

Jacob Zhong
and
claude
committed
Merge master (#94 opendp-num fixes) into ziv

Jacob Zhong
and
claude
committed

Commits on Jul 26, 2026

Merge branch 'develop' into ziv

Jacob Zhong
and
claude
committed