|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
The exact discrete SINE \(\sin_N(k) = \sin(2\pi k/N) =
\Im\,\zeta_N^k\) — the ODD part of the character (Im of character<N>(1) resolved). An IsArrow Modular<N> → ℝ, exact at N=8.
More...
Public Types | |
| using | Domain = dedekind::morphologies::Modular<N> |
| using | Codomain = QuadraticReal<2> |
Public Member Functions | |
| constexpr QuadraticReal< 2 > | operator() (Domain k) const |
The exact discrete SINE \(\sin_N(k) = \sin(2\pi k/N) =
\Im\,\zeta_N^k\) — the ODD part of the character (Im of character<N>(1) resolved). An IsArrow Modular<N> → ℝ, exact at N=8.