stillwater-sc / universal / 27773259500

85%

master: 84%

Build Type

push

github

Committed by web-flow

Commit Message

feat(elreal): class facade -- plug-in arithmetic number system + lazy API (#1079) (#1080)

* feat(elreal): class facade scaffold -- plug-in arithmetic + lazy API (#1079 Phase 1)

elreal was the only Universal number system with no class facade (no
elreal_impl.hpp / class elreal) -- just free functions over the lazy ZBCL block
co-list. Add the standard facade so it drops into templated kernels like any
other type, plus the lazy state-machine extension that is elreal's reason to
exist.

class elreal<FpType=double> wraps a ZBCL<FpType> and is ELASTIC (holds a
shared_ptr -> not trivially copyable; the #925 triviality rule is for the static
block, not this facade -- same as ereal/einteger).

Facade (mirrors ereal_impl.hpp):
- native ctors (int/float/double, exact for ints < 2^53), conversions
  (explicit operator double/float/long double), SpecificValue
- LAZY arithmetic: +-*/ and += -= *= /= store unforced add/mul_online/div_online
  streams; evaluation happens only at a boundary (conversion/compare/I/O)
- DEPTH-BOUNDED comparison: == < ... compare a-b to the deeper precision (exact
  ordering on a nonzero leading limb; exact equality of distinct irrationals is
  undecidable), abs/fabs, free operators (elreal^2, x double)

Lazy state-machine API (the edge over the eager elastic types -- ZBCL memoises,
so refining REUSES pulled work):
- precision()/precision(d) runtime depth; thread-local default + RAII
  elreal_precision_guard scoped override
- limbs(n) / approx<T>(depth) / refine(depth) / stream()

New files: elreal_impl.hpp, manipulators.hpp (type_tag, operator<<),
traits/elreal_traits.hpp (is_elreal); elreal_fwd.hpp + umbrella + aliases
(elreal64/elreal32); elastic/elreal/api/api.cpp (plug-in kernel + lazy API) wired
into CMake. el_api_api PASS on gcc + clang; ASCII clean.

See #1079 for the full phase plan (2: lazy API hardening, 3: limits/manipulators,
4: math facade, 5: conversions/suites/CI).

Relates to #1079, #923

Co-Authored-By: Claude Opus 4.8... (continued)

Coverage Stats

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

11 existing lines in 2 files now uncovered.

47895 of 56616 relevant lines covered (84.6%)

6742094.64 hits per line