Module evals 

Defines crate::mle::evals::Evaluations and crate::mle::evals::MultilinearExtension for representing un-indexed MLEs.

Modules

bit_packed_vector

Implements BitPackedVector, a version of an immutable vector optimized for storing field elements compactly.

Structs

DimInfo

the dimension information of the MLE. contains the dim: IxDyn, see ndarray for more detailed documentation and the names of the axes.

Evaluations

Stores a boolean function f: {0, 1}^n -> F represented as a list of up to 2^n evaluations of f on the boolean hypercube. The n variables are indexed from 0 to n-1 throughout the lifetime of the object.

EvaluationsIterator

An iterator over evaluations in a “big-endian” order.

EvaluationsPairIterator

An iterator over evaluations indexed by vertices of a projection of the boolean hypercube on num_vars - 1 dimensions. See documentation for Evaluations::project for more information.

MultilinearExtension

Stores a function \tilde{f}: F^n -> F, the unique Multilinear Extension (MLE) of a given function f: {0, 1}^n -> F:

Enums

DimensionError

the errors associated with the dimension of the MLE.

Functions

mirror_bits 🔒

Mirrors the num_bits LSBs of value.