binius_math::inner_product

Function inner_product_packed

Source 
pub fn inner_product_packed<F, P>(
    log_n: usize,
    a: impl ExactSizeIterator<Item = P>,
    b: impl ExactSizeIterator<Item = P>,
) -> F
where
    F: Field,
    P: PackedField<Scalar = F>,
Expand description

Compute the inner product of two scalar sequences generated by iterators of packed elements.

ยงPreconditions

  • a and b have length 1 << log_n.saturating_sub(P::LOG_WIDTH)