Skip to main content

project_scalars_to_field

zinc_piop::projections

Function project_scalars_to_field 

Source 
pub fn project_scalars_to_field<R: Semiring, C: FieldConfig>(
    field_cfg: &C,
    scalars: ProjectedScalars<R, DynamicPolynomial<C::Element>>,
    projecting_element: &C::Element,
) -> Result<ProjectedScalars<R, C::Element>, (R, C::Element, EvaluationError)>
Expand description

Project scalars of a UAIR along F[X] -> F.