pub fn project_scalars<C: SemiringConfig, U: Uair>(
field_cfg: &C,
project: impl Fn(&U::Scalar) -> DynamicPolynomial<C::Element>,
) -> ProjectedScalars<U::Scalar, DynamicPolynomial<C::Element>>Expand description
Project scalars of a UAIR onto $F[X]$.