stillwater-sc / universal / 29751189839

85%

master: 84%

Build Type

push

github

Committed by web-flow

Commit Message

feat(ereal): complex.hpp binding (is_universal_number + real/imag/conj) (#1172)

Mirrors efloat's #1110 binding. complex<ereal> now works out of the box through
the type-agnostic sw::universal::complex<T> library: this header includes it,
specializes is_universal_number<ereal> -> true, and re-exposes real/imag/conj for
symmetry with the other number systems. No std::complex<ereal> shims (UB on a UDT
per ISO C++ 26.2/2).

Complex arithmetic and real/imag/conj/norm/arg/abs carry ereal's full working
precision; the shared library's complex transcendentals pivot through
std::complex<double> (documented), so they are ~double-accurate on any UDT.

Regression test elastic/ereal/math/functions/complex.cpp: the trait, arithmetic
exactness ((3+4i)(1+2i)=-5+10i), conj/norm/abs, the z*conj(z)==|z|^2 identity,
(a/b)*b==a agreeing to >200 bits, and the transcendentals. Wired into mathlib.hpp.
PASS on gcc and clang; cppcheck-clean.

Resolves #1167
Relates to #582

Coverage Stats

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

2 existing lines in 1 file now uncovered.

49853 of 58799 relevant lines covered (84.79%)

7020572.4 hits per line