Struct ark_poly::DenseMultilinearExtension

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

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

impl<F: Field> DenseMultilinearExtension<F>

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)

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)

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

Relabel the point inplace 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)

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

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

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

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

Trait Implementations

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

type Output = DenseMultilinearExtension<F>

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = DenseMultilinearExtension<F>

The resulting type after applying the + operator.

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

Performs the + operation.

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

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

Performs the += operation.

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

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

Performs the += operation.

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

fn add_assign(&mut self, other: Self)

Performs the += operation.

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

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

Reads Self from reader.

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

Reads Self from reader without compression.

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

Reads self from reader without compression, and without performing validity checks. Should be used only when the input is trusted.

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

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

Serializes self into writer. It is left up to a particular type for how it strikes the serialization efficiency vs compression tradeoff. For standard types (e.g. bool, lengths, etc.) typically an uncompressed form is used, whereas for algebraic types compressed forms are used.

fn serialized_size(&self) -> usize

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

Serializes self into writer without compression.

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

Serializes self into writer without compression, and without performing validity checks. Should be used only when there is no danger of adversarial manipulation of the output.

fn uncompressed_size(&self) -> usize

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

fn default() -> DenseMultilinearExtension<F>

Returns the “default value” for a type.

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

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

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

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.

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

fn num_vars(&self) -> usize

Returns the number of variables in self

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.

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.

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.

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.

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

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

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

type Output = DenseMultilinearExtension<F>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

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

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

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

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

This method tests for !=.

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

type Output = DenseMultilinearExtension<F>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = DenseMultilinearExtension<F>

The resulting type after applying the - operator.

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

Performs the - operation.

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

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

Performs the -= operation.

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

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

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

fn zero() -> Self

Returns the additive identity element of Self, 0.

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

fn set_zero(&mut self)

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

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

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

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