fix: silent errors, unbounded searches, and two order-of-magnitude regressions - #294

Merged

AregGevorgyan merged 5 commits into

mainfrom

fix/nullspace-code-and-gil

Aug 12, 2026

Commits on Aug 11, 2026

fix: silent errors, unbounded searches, and two order-of-magnitude regressions

AregGevorgyan
and
claude
committed
bd5f7c8

Commits on Aug 12, 2026

fix: rigorous bounds that were not rigorous, dropped roots, and six segfaults

AregGevorgyan
and
claude
committed
1c30ef2
Merge remote-tracking branch 'origin/main' into fix/nullspace-code-and-gil
AregGevorgyan
committed
2cb425b
perf(real_roots): make the Descartes certification pay for itself

AregGevorgyan
and
claude
committed
a43954a
perf(real_roots): test rational roots in integers instead of rationals

AregGevorgyan
and
claude
committed
73a1f58