pub fn expand_subspace_evals<F, SEvals>(
on_the_fly: &[OnTheFlyTwiddleAccess<F, SEvals>],
) -> Vec<PrecomputedTwiddleAccess<F>>
Expand description
Given OnTheFlyTwiddleAccess
instances for each NTT round, returns a vector of PrecomputedTwiddleAccess
objects,
one for each NTT round.
For each round , the input contains the value of on the basis . The ith element of the output contains the evaluations of on the entire space , where the order is the usual “binary counting order” in . While is well-defined on , we have the normalization , hence to specify the function we need only specify it on .