Skip to main content

tensor_prod_eq_ind

Function tensor_prod_eq_ind 

Source
pub fn tensor_prod_eq_ind<P: PackedField>(
    values: FieldBuffer<P, Vec<P>>,
    extra_query_coordinates: &[P::Scalar],
) -> FieldBuffer<P, Vec<P>>
Expand description

Tensor of values with the equality indicator evaluated at extra coordinates.

One variable is added per coordinate, doubling the length each time. The returned buffer grows its backing store rather than allocating a fresh one.