Skip to content

Releases: StevenDBennett/dyadic

v1.0.0: dyadic — Six-Axiom 2-Adic Operator Calculus

05 Jun 20:49
@StevenDBennett StevenDBennett
v1.0.0
32b5df2

Choose a tag to compare

View all tags
v1.0.0: dyadic — Six-Axiom 2-Adic Operator Calculus Latest
Latest

Pure C++20, single-header dyadic (2-adic) operator calculus library.

Features

  • Six-axiom operator calculus: addition, multiplication, composition, reversion, finite Witt polynomials, Adams operations
  • Compile-time verification: 20+ static_assert proofs under DYADIC_HEAVY_PROOFS
  • Constexpr-evaluated Taylor series roundtrip and precision window checkers
  • 12 performance benchmarks covering core operations
  • No external dependencies, header-only

CI (all green)

  • GCC 13 (light + heavy proofs)
  • Clang 18 (light + heavy proofs)
  • ASan + UBSan
  • MSVC 2022 (Windows)

Repository

https://github.com/StevenDBennett/dyadic

Assets 2
Loading