Module multi

Copied from starkware-libs/stwo under Apache-2.0 license.

Structs

• Mle
  Multilinear extension of the function defined on the boolean hypercube.

Traits

• MultivariatePolyOracle
  Represents a multivariate polynomial g(x_1, ..., x_n).

Functions

• fold_mle_evals
  Computes hypercube_eq(0, assignment) * eval0 + hypercube_eq(1, assignment) * eval1.
• hypercube_eq
  Evaluates the boolean Lagrange basis polynomial eq(x, y).