pub fn project_scalars_to_field<R: Semiring + 'static, F: PrimeField>(
scalars: HashMap<R, DynamicPolynomialF<F>>,
projecting_element: &F,
) -> Result<HashMap<R, F>, (R, F, EvaluationError)>Expand description
Project scalars of a UAIR along F[X] -> F.