Type Alias MultilinearExtensionBorrowed

pub type MultilinearExtensionBorrowed<'a, P> = MultilinearExtension<P, &'a [P]>;

Type alias for the common pattern of a MultilinearExtension backed by borrowed data.

Aliased Type

struct MultilinearExtensionBorrowed<'a, P> { /* private fields */ }

Implementations

impl<F: Field + AsSinglePacked, Data: Deref<Target = [F]>> MultilinearExtension<F, Data>

pub fn to_single_packed(self) -> MultilinearExtension<F::Packed>

Convert MultilinearExtension over a scalar to a MultilinearExtension over a packed field with single element.

impl<'a, P: PackedField> MultilinearExtension<P, &'a [P]>

pub fn from_values_slice(v: &'a [P]) -> Result<Self, Error>

impl<P, Data> MultilinearExtension<P, Data>

where P: PackedField, Data: Deref<Target = [P]>,

pub fn specialize<PE>(self) -> MLEEmbeddingAdapter<P, PE, Data>

where PE: PackedField, PE::Scalar: ExtensionField<P::Scalar>,

impl<'a, P, Data> MultilinearExtension<P, Data>

where P: PackedField, Data: Deref<Target = [P]> + Send + Sync + Debug + 'a,

pub fn specialize_arc_dyn<PE>( self, ) -> Arc<dyn MultilinearPoly<PE> + Send + Sync + 'a>

where PE: PackedField + RepackedExtension<P>, PE::Scalar: ExtensionField<P::Scalar>,

impl<P: PackedField, Data: Deref<Target = [P]>> MultilinearExtension<P, Data>

pub const fn n_vars(&self) -> usize

pub const fn size(&self) -> usize

pub fn evals(&self) -> &[P]

pub fn to_ref(&self) -> MultilinearExtension<P, &[P]>

pub fn packed_evaluate_on_hypercube(&self, index: usize) -> Result<P, Error>

Get the evaluations of the polynomial on a subcube of the hypercube of size equal to the packing width.

Arguments

• index - The index of the subcube

pub fn evaluate_on_hypercube(&self, index: usize) -> Result<P::Scalar, Error>

impl<P, Data> MultilinearExtension<P, Data>

where P: PackedField, Data: Deref<Target = [P]> + Send + Sync,

pub fn evaluate<'a, FE, PE>( &self, query: impl Into<MultilinearQueryRef<'a, PE>>, ) -> Result<FE, Error>

where FE: ExtensionField<P::Scalar>, PE: PackedField<Scalar = FE>,

pub fn evaluate_partial_high<'a, PE>( &self, query: impl Into<MultilinearQueryRef<'a, PE>>, ) -> Result<MultilinearExtension<PE>, Error>

where PE: PackedField, PE::Scalar: ExtensionField<P::Scalar>,

Partially evaluate the polynomial with assignment to the high-indexed variables.

The polynomial is multilinear with $\mu$ variables, $p(X_0, …, X_{\mu - 1})$. Given a query vector of length $k$ representing $(z_{\mu - k + 1}, …, z_{\mu - 1})$, this returns the multilinear polynomial with $\mu - k$ variables, $p(X_0, …, X_{\mu - k}, z_{\mu - k + 1}, …, z_{\mu - 1})$.

REQUIRES: the size of the resulting polynomial must have a length which is a multiple of PE::WIDTH, i.e. 2^(\mu - k) \geq PE::WIDTH, since WIDTH is power of two

pub fn evaluate_partial_low<'a, PE>( &self, query: impl Into<MultilinearQueryRef<'a, PE>>, ) -> Result<MultilinearExtension<PE>, Error>

where PE: PackedField, PE::Scalar: ExtensionField<P::Scalar>,

Partially evaluate the polynomial with assignment to the low-indexed variables.

The polynomial is multilinear with $\mu$ variables, $p(X_0, …, X_{\mu-1}$. Given a query vector of length $k$ representing $(z_0, …, z_{k-1})$, this returns the multilinear polynomial with $\mu - k$ variables, $p(z_0, …, z_{k-1}, X_k, …, X_{\mu - 1})$.

REQUIRES: the size of the resulting polynomial must have a length which is a multiple of P::WIDTH, i.e. 2^(\mu - k) \geq P::WIDTH, since WIDTH is power of two

pub fn evaluate_partial_low_into<PE>( &self, query: MultilinearQueryRef<'_, PE>, out: &mut [PE], ) -> Result<(), Error>

where PE: PackedField, PE::Scalar: ExtensionField<P::Scalar>,

Partially evaluate the polynomial with assignment to the low-indexed variables.

The polynomial is multilinear with $\mu$ variables, $p(X_0, …, X_{\mu-1}$. Given a query vector of length $k$ representing $(z_0, …, z_{k-1})$, this returns the multilinear polynomial with $\mu - k$ variables, $p(z_0, …, z_{k-1}, X_k, …, X_{\mu - 1})$.

REQUIRES: the size of the resulting polynomial must have a length which is a multiple of P::WIDTH, i.e. 2^(\mu - k) \geq P::WIDTH, since WIDTH is power of two

impl<P: PackedField, Data: Deref<Target = [P]>> MultilinearExtension<P, Data>

pub fn from_values_generic(v: Data) -> Result<Self, Error>

pub fn new(n_vars: usize, v: Data) -> Result<Self, Error>

Trait Implementations

impl<P: Clone + PackedField, Data: Clone + Deref<Target = [P]>> Clone for MultilinearExtension<P, Data>

fn clone(&self) -> MultilinearExtension<P, Data>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<P: Debug + PackedField, Data: Debug + Deref<Target = [P]>> Debug for MultilinearExtension<P, Data>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<P: PartialEq + PackedField, Data: PartialEq + Deref<Target = [P]>> PartialEq for MultilinearExtension<P, Data>

fn eq(&self, other: &MultilinearExtension<P, Data>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<P: Eq + PackedField, Data: Eq + Deref<Target = [P]>> Eq for MultilinearExtension<P, Data>

impl<P: PackedField, Data: Deref<Target = [P]>> StructuralPartialEq for MultilinearExtension<P, Data>