source-academy / py-slang / 42641160364

88%

Build Type

push

github

Committed by web-flow

Commit Message

Implement math_nextafter (with steps) and math_ulp (#649)

* Implement math_nextafter (with steps) and math_ulp

Both threw "not implemented". They now follow CPython: one shared implementation on doubles
(src/stdlib/floatSteps.ts) serves the stdlib (CSE, py2js, WASM and the e-stepper) and the PVML
interpreter. math_nextafter takes an optional third argument, steps, as documented; the typed prelude
declares it, so the typed documentation no longer needs its special case.

Closes #648 for py-slang. pynter: source-academy/pynter#62.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* math_nextafter: reaching zero from below gives -0, as in CPython

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* Skip the math_nextafter cases with steps in the CPython ground-truth checks

CPython takes steps as a keyword-only argument; this dialect has no keyword arguments, so it takes it
positionally, as documented.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* math_nextafter: zero steps return x even when y is NaN, as in CPython

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

---------

Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>

Coverage Stats

7657 of 9164 branches covered (83.56%)

Branch coverage included in aggregate %.

53 of 53 new or added lines in 5 files covered. (100.0%)

2 existing lines in 2 files now uncovered.

15870 of 17551 relevant lines covered (90.42%)

252746.45 hits per line