p3_fri

Function fold_even_odd

Source
pub fn fold_even_odd<F: TwoAdicField>(poly: Vec<F>, beta: F) -> Vec<F>
Expand description

Fold a polynomial

p(x) = p_even(x^2) + x p_odd(x^2)

into

p_even(x) + beta p_odd(x)

Expects input to be bit-reversed evaluations.