Skip to main content

scaled_eq_ind_partial_eval_into

Function scaled_eq_ind_partial_eval_into 

Source
pub fn scaled_eq_ind_partial_eval_into<Cube: Hypercube, P: PackedField, Data: VecLike<P>>(
    point: &[P::Scalar],
    scale: P::Scalar,
    buffer: Data,
) -> FieldBuffer<P, Data>
Expand description

Builds the scaled equality indicator expansion of a point in a caller-supplied store.

This is the allocation-hoisting form. The caller owns the store, so it can be drawn from a pool. It can equally be reserved on a different thread than the one that fills it.

Each of the 2^n coefficients is written once, so the expansion costs one multiplication per coefficient.

§Preconditions

  • The store’s capacity must cover the packed length of the expansion.