binius_math

Function fold

source 
pub fn fold<P, PE>(
    evals: &[P],
    log_evals_size: usize,
    query: &[PE],
    log_query_size: usize,
    out: &mut [PE],
) -> Result<(), Error>
where
    P: PackedField,
    PE: PackedField<Scalar: ExtensionField<P::Scalar>>,
Expand description

Execute the fold operation.

Every consequent 1 << log_query_size scalar values are dot-producted with the corresponding query elements. The result is stored in the output slice of packed values.