p3_friFunction 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.