pub fn project_scalars<F: PrimeField, U: Uair>(
project: impl Fn(&U::Scalar) -> DynamicPolynomialF<F>,
) -> HashMap<U::Scalar, DynamicPolynomialF<F>>Expand description
Project scalars of a UAIR onto F[X].
pub fn project_scalars<F: PrimeField, U: Uair>(
project: impl Fn(&U::Scalar) -> DynamicPolynomialF<F>,
) -> HashMap<U::Scalar, DynamicPolynomialF<F>>Project scalars of a UAIR onto F[X].