Skip to main content

domain_point

p3_binary_dft

Function domain_point 

Source 
pub fn domain_point<F: TowerLevel>(index: usize) -> F
Expand description

The index-th point of the additive NTT domain, Σ_r bit_r(index) · v_r.

The domain S_ℓ is the span of the first ℓ Cantor basis vectors, so this is well defined for any ℓ > log2(index) and does not depend on which level evaluates it.

§Panics

Panics if index has a set bit at or above the bit width of F.