Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::numbers::DiscreteSin< N > Struct Template Referenceexport

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

Detailed Description

template<unsigned N>
struct dedekind::numbers::DiscreteSin< N >

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.

See also
DiscreteCos

The documentation for this struct was generated from the following file: