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