Module eq
Source - eq_ind
- Evaluates the equality indicator multilinear at a pair of coordinates.
- eq_ind_partial_eval
- Computes the partial evaluation of the equality indicator polynomial.
- eq_ind_truncate_low_inplace
- Truncate the equality indicator expansion to the low indexed variables.
- eq_one_var
- Evaluates the 2-variate multilinear which indicates the equality condition over the hypercube.
- tensor_prod_eq_ind_prepend
- Left tensor of values with the eq indicator evaluated at extra_query_coordinates.