stillwater-sc / universal / 29692704351

85%

master: 84%

push

github

feat(efloat): register efloat for sw::universal::complex + regression test (#1157)

efloat already plugs into the portable sw::universal::complex<T> (the std::complex
replacement for user-defined types) through the type-agnostic library in
<universal/math/complex.hpp> -- complex<efloat> arithmetic and
real/imag/conj/norm/arg/abs work today at efloat's full working precision. This
adds the small per-type binding the other number systems ship:

- efloat/math/complex.hpp: specializes is_universal_number<efloat> (consistency
  with posit/cfloat/lns/dd/qd/...) and re-exposes real/imag/conj for
  complex<efloat>. It deliberately does NOT provide std::complex<efloat> shims:
  std::complex<T> is only defined for float/double/long double (ISO C++ 26.2/2),
  so instantiating it on a UDT is UB. Use sw::universal::complex<efloat>.
- wired into mathlib.hpp.
- elastic/efloat/math/complex.cpp: regression test covering the trait, arithmetic
  exactness, conj/norm/abs, two 512-bit oracle identities (z*conj(z)==|z|^2 and
  (a/b)*b==a agree to < 2^-200), and the transcendentals.

PRECISION CAVEAT (documented in the header): the shared library's complex
transcendentals (exp/log/sqrt/pow/sin/cos/...) pivot through std::complex<double>,
so on efloat they are only ~double-accurate. Arithmetic and the algebraic
accessors are full precision. A full-precision complex transcendental layer on
efloat's own sin/cos/exp is a future enhancement (affects all UDTs, not efloat
specifically).

Resolves #1110

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

6 of 6 new or added lines in 1 file covered. (100.0%)

49678 of 58633 relevant lines covered (84.73%)

7034500.36 hits per line