pub fn b_poly_coefficients<F: Field>(chals: &[F]) -> Vec<F>