pub struct DenseMultilinearExtension<F: Field> {
    pub evaluations: Vec<F>,
    pub num_vars: usize,
}
Expand description

Stores a multilinear polynomial in dense evaluation form.

Fields§

§evaluations: Vec<F>

The evaluation over {0,1}^num_vars

§num_vars: usize

Number of variables

Implementations§

source§

impl<F: Field> DenseMultilinearExtension<F>

source

pub fn from_evaluations_slice(num_vars: usize, evaluations: &[F]) -> Self

Construct a new polynomial from a list of evaluations where the index represents a point in {0,1}^num_vars in little endian form. For example, 0b1011 represents P(1,1,0,1)

source

pub fn from_evaluations_vec(num_vars: usize, evaluations: Vec<F>) -> Self

Construct a new polynomial from a list of evaluations where the index represents a point in {0,1}^num_vars in little endian form. For example, 0b1011 represents P(1,1,0,1)

source

pub fn relabel_in_place(&mut self, a: usize, b: usize, k: usize)

Relabel the point in place by switching k scalars from position a to position b, and from position b to position a in vector.

This function turns P(x_1,...,x_a,...,x_{a+k - 1},...,x_b,...,x_{b+k - 1},...,x_n) to P(x_1,...,x_b,...,x_{b+k - 1},...,x_a,...,x_{a+k - 1},...,x_n)

source

pub fn iter(&self) -> Iter<'_, F>

Returns an iterator that iterates over the evaluations over {0,1}^num_vars

source

pub fn iter_mut(&mut self) -> IterMut<'_, F>

Returns a mutable iterator that iterates over the evaluations over {0,1}^num_vars

Trait Implementations§

source§

impl<'a, 'b, F: Field> Add<&'a DenseMultilinearExtension<F>> for &'b DenseMultilinearExtension<F>

§

type Output = DenseMultilinearExtension<F>

The resulting type after applying the + operator.
source§

fn add(self, rhs: &'a DenseMultilinearExtension<F>) -> Self::Output

Performs the + operation. Read more
source§

impl<F: Field> Add<DenseMultilinearExtension<F>> for DenseMultilinearExtension<F>

§

type Output = DenseMultilinearExtension<F>

The resulting type after applying the + operator.
source§

fn add(self, other: DenseMultilinearExtension<F>) -> Self

Performs the + operation. Read more
source§

impl<'a, F: Field> AddAssign<&'a DenseMultilinearExtension<F>> for DenseMultilinearExtension<F>

source§

fn add_assign(&mut self, other: &'a DenseMultilinearExtension<F>)

Performs the += operation. Read more
source§

impl<'a, F: Field> AddAssign<(F, &'a DenseMultilinearExtension<F>)> for DenseMultilinearExtension<F>

source§

fn add_assign(&mut self, (f, other): (F, &'a DenseMultilinearExtension<F>))

Performs the += operation. Read more
source§

impl<F: Field> AddAssign<DenseMultilinearExtension<F>> for DenseMultilinearExtension<F>

source§

fn add_assign(&mut self, other: Self)

Performs the += operation. Read more
source§

impl<F: Field> CanonicalDeserialize for DenseMultilinearExtension<F>

source§

fn deserialize_with_mode<R: Read>( reader: R, compress: Compress, validate: Validate ) -> Result<Self, SerializationError>

The general deserialize method that takes in customization flags.
source§

fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>where R: Read,

source§

fn deserialize_compressed_unchecked<R>( reader: R ) -> Result<Self, SerializationError>where R: Read,

source§

fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>where R: Read,

source§

fn deserialize_uncompressed_unchecked<R>( reader: R ) -> Result<Self, SerializationError>where R: Read,

source§

impl<F: Field> CanonicalSerialize for DenseMultilinearExtension<F>

source§

fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress ) -> Result<(), SerializationError>

The general serialize method that takes in customization flags.
source§

fn serialized_size(&self, compress: Compress) -> usize

source§

fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>where W: Write,

source§

fn compressed_size(&self) -> usize

source§

fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>where W: Write,

source§

fn uncompressed_size(&self) -> usize

source§

impl<F: Clone + Field> Clone for DenseMultilinearExtension<F>

source§

fn clone(&self) -> DenseMultilinearExtension<F>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<F: Field> Debug for DenseMultilinearExtension<F>

source§

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

Formats the value using the given formatter. Read more
source§

impl<F: Default + Field> Default for DenseMultilinearExtension<F>

source§

fn default() -> DenseMultilinearExtension<F>

Returns the “default value” for a type. Read more
source§

impl<F: Hash + Field> Hash for DenseMultilinearExtension<F>

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl<F: Field> Index<usize> for DenseMultilinearExtension<F>

source§

fn index(&self, index: usize) -> &Self::Output

Returns the evaluation of the polynomial at a point represented by index.

Index represents a vector in {0,1}^num_vars in little endian form. For example, 0b1011 represents P(1,1,0,1)

For dense multilinear polynomial, index takes constant time.

§

type Output = F

The returned type after indexing.
source§

impl<F: Field> MultilinearExtension<F> for DenseMultilinearExtension<F>

source§

fn num_vars(&self) -> usize

Returns the number of variables in self
source§

fn evaluate(&self, point: &[F]) -> Option<F>

Evaluates self at the given the vector point in slice. If the number of variables does not match, return None.
source§

fn rand<R: Rng>(num_vars: usize, rng: &mut R) -> Self

Outputs an l-variate multilinear extension where value of evaluations are sampled uniformly at random.
source§

fn relabel(&self, a: usize, b: usize, k: usize) -> Self

Relabel the point by swapping k scalars from positions a..a+k to positions b..b+k, and from position b..b+k to position a..a+k in vector. Read more
source§

fn fix_variables(&self, partial_point: &[F]) -> Self

Reduce the number of variables of self by fixing the partial_point.len() variables at partial_point.
source§

fn to_evaluations(&self) -> Vec<F>

Returns a list of evaluations over the domain, which is the boolean hypercube.
source§

impl<F: Field> Neg for DenseMultilinearExtension<F>

§

type Output = DenseMultilinearExtension<F>

The resulting type after applying the - operator.
source§

fn neg(self) -> Self::Output

Performs the unary - operation. Read more
source§

impl<F: PartialEq + Field> PartialEq<DenseMultilinearExtension<F>> for DenseMultilinearExtension<F>

source§

fn eq(&self, other: &DenseMultilinearExtension<F>) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl<'a, 'b, F: Field> Sub<&'a DenseMultilinearExtension<F>> for &'b DenseMultilinearExtension<F>

§

type Output = DenseMultilinearExtension<F>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: &'a DenseMultilinearExtension<F>) -> Self::Output

Performs the - operation. Read more
source§

impl<F: Field> Sub<DenseMultilinearExtension<F>> for DenseMultilinearExtension<F>

§

type Output = DenseMultilinearExtension<F>

The resulting type after applying the - operator.
source§

fn sub(self, other: DenseMultilinearExtension<F>) -> Self

Performs the - operation. Read more
source§

impl<'a, F: Field> SubAssign<&'a DenseMultilinearExtension<F>> for DenseMultilinearExtension<F>

source§

fn sub_assign(&mut self, other: &'a DenseMultilinearExtension<F>)

Performs the -= operation. Read more
source§

impl<F: Field> SubAssign<DenseMultilinearExtension<F>> for DenseMultilinearExtension<F>

source§

fn sub_assign(&mut self, other: Self)

Performs the -= operation. Read more
source§

impl<F: Field> Valid for DenseMultilinearExtension<F>

source§

fn check(&self) -> Result<(), SerializationError>

source§

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send ) -> Result<(), SerializationError>where Self: 'a,

source§

impl<F: Field> Zero for DenseMultilinearExtension<F>

source§

fn zero() -> Self

Returns the additive identity element of Self, 0. Read more
source§

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.
source§

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.
source§

impl<F: Eq + Field> Eq for DenseMultilinearExtension<F>

source§

impl<F: Field> StructuralEq for DenseMultilinearExtension<F>

source§

impl<F: Field> StructuralPartialEq for DenseMultilinearExtension<F>

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CanonicalSerializeHashExt for Twhere T: CanonicalSerialize,

source§

fn hash<H>(&self) -> GenericArray<u8, <H as OutputSizeUser>::OutputSize>where H: Digest,

source§

fn hash_uncompressed<H>( &self ) -> GenericArray<u8, <H as OutputSizeUser>::OutputSize>where H: Digest,

source§

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> Same<T> for T

§

type Output = T

Should always be Self
source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
const: unstable · source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

§

fn vzip(self) -> V