Function eq_one_var

pub fn eq_one_var<F: Field>(x: F, y: F) -> F

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

This evaluates the bivariate polynomial

$$ \widetilde{eq}(X, Y) = X Y + (1 - X) (1 - Y) $$

In the special case of binary fields, the evaluation can be simplified to

$$ \widetilde{eq}(X, Y) = X + Y + 1 $$