Module eq 

The equality indicator over the Boolean hypercube.

Every routine here specializes a generic hypercube routine to the basis (1 - X, X). Under that basis the coefficients of a multilinear are its evaluations over {0, 1}^n.

See DP23, Section 2.1 for more information about the equality indicator polynomial.

Functions

eq_ind

Evaluates the equality indicator multilinear at a pair of points.

eq_ind_partial_eval

Computes the partial evaluation of the equality indicator polynomial.

eq_ind_partial_eval_in

Builds the equality indicator expansion of a point into a buffer drawn from an allocator.

eq_ind_partial_eval_scalars

Computes the partial evaluation of the equality indicator polynomial, returning scalars.

eq_ind_truncate_low_inplace

Truncates a built equality indicator expansion to its low indexed variables.

eq_ind_zero

Evaluates the equality indicator multilinear with one operand fixed to all zeros.

eq_one_var

Evaluates the 2-variate multilinear which indicates the equality condition.

scaled_eq_ind_partial_eval

Computes the partial evaluation of the equality indicator polynomial, scaled by a constant.

scaled_eq_ind_partial_eval_into

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

scaled_eq_ind_partial_eval_scalars

Computes the scaled partial evaluation of the equality indicator, returning scalars.

tensor_prod_eq_ind

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