Function tensor_prod_eq_ind_prepend

pub fn tensor_prod_eq_ind_prepend<P: PackedField, Data: DerefMut<Target = [P]>>(
    values: &mut FieldBuffer<P, Data>,
    extra_query_coordinates: &[P::Scalar],
) -> Result<(), Error>

Left tensor of values with the eq indicator evaluated at extra_query_coordinates.

Formal definition

This differs from tensor_prod_eq_ind in tensor product being applied on the left and in reversed order: $(1 - r_{k-1}, r_{k-1}) \otimes \ldots \otimes (1 - r_0, r_0) \otimes v$

Implementation

This operation is inplace, singlethreaded, and not very optimized. Main intent is to use it on small tensors out of the hot paths.