Struct MultilinearExtensionTransparent

pub struct MultilinearExtensionTransparent<P, PE, Data = Vec<P>>
where
    P: PackedField,
    PE: PackedField,
    PE::Scalar: ExtensionField<P::Scalar>,
    Data: Deref<Target = [P]>,
{ /* private fields */ }

A transparent multilinear polynomial defined as the multilinear extension over a small hypercube.

Multilinear polynomials are considered transparent if they can be succinctly evaluated. While evaluation of multilinear extensions is generally exponential in the number of variables, when the number of variables is very small, and thus the evaluation hypercube is small, we can consider such a multilinear extension to be transparent.

Implementations

impl<P, PE, Data> MultilinearExtensionTransparent<P, PE, Data>

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

pub fn from_values(values: Data) -> Result<Self, Error>

pub fn from_values_and_mu(values: Data, n_vars: usize) -> Result<Self, Error>

Create a new MultilinearExtensionTransparent from a set of values and a possibly smaller number of variables.

Trait Implementations

impl<P, PE, Data> Clone for MultilinearExtensionTransparent<P, PE, Data>

where P: PackedField + Clone, PE: PackedField + Clone, PE::Scalar: ExtensionField<P::Scalar>, Data: Deref<Target = [P]> + Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<P, PE, Data> Debug for MultilinearExtensionTransparent<P, PE, Data>

where P: PackedField + Debug, PE: PackedField + Debug, PE::Scalar: ExtensionField<P::Scalar>, Data: Deref<Target = [P]> + Debug,

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

Formats the value using the given formatter.

impl<F, P, PE, Data> MultivariatePoly<F> for MultilinearExtensionTransparent<P, PE, Data>

where F: TowerField + ExtensionField<P::Scalar>, P: PackedField, PE: PackedField<Scalar = F> + RepackedExtension<P>, Data: Deref<Target = [P]> + Send + Sync + Debug,

fn n_vars(&self) -> usize

The number of variables.

fn degree(&self) -> usize

Total degree of the polynomial.

fn evaluate(&self, query: &[F]) -> Result<F, Error>

Evaluate the polynomial at a point in the extension field.

fn binary_tower_level(&self) -> usize

Returns the maximum binary tower level of all constants in the arithmetic expression.

impl<P, PE, Data> PartialEq for MultilinearExtensionTransparent<P, PE, Data>

where P: PackedField + PartialEq, PE: PackedField + PartialEq, PE::Scalar: ExtensionField<P::Scalar>, Data: Deref<Target = [P]> + PartialEq,

fn eq(&self, other: &MultilinearExtensionTransparent<P, PE, 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, PE, Data> Eq for MultilinearExtensionTransparent<P, PE, Data>

where P: PackedField + Eq, PE: PackedField + Eq, PE::Scalar: ExtensionField<P::Scalar>, Data: Deref<Target = [P]> + Eq,

impl<P, PE, Data> StructuralPartialEq for MultilinearExtensionTransparent<P, PE, Data>

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