Struct lambdaworks_math::polynomial::dense_multilinear_poly::DenseMultilinearPolynomial

pub struct DenseMultilinearPolynomial<F: IsField>
where
    <F as IsField>::BaseType: Send + Sync,
{ /* private fields */ }

Represents a multilinear polynomials as a vector of evaluations (FieldElements) in lagrange basis

Implementations

impl<F: IsField> DenseMultilinearPolynomial<F>

where <F as IsField>::BaseType: Send + Sync,

pub fn new(evals: Vec<FieldElement<F>>) -> Self

Build a new multilinear polynomial, from collection of evaluations

pub fn num_vars(&self) -> usize

pub fn evals(&self) -> &Vec<FieldElement<F>>

pub fn len(&self) -> usize

pub fn evaluate( &self, r: Vec<FieldElement<F>>, ) -> Result<FieldElement<F>, MultilinearError>

Evaluates self at the point p in O(n) time.

pub fn evaluate_with( evals: &[FieldElement<F>], r: &[FieldElement<F>], ) -> Result<FieldElement<F>, MultilinearError>

pub fn extend(&mut self, other: &DenseMultilinearPolynomial<F>)

Extends a DenseMultilinearPolynomial by concatenating other polynomial of the same length.

pub fn merge( polys: &[DenseMultilinearPolynomial<F>], ) -> DenseMultilinearPolynomial<F>

Merges a series of DenseMultilienarPolynomials into one polynomial. Zero-pads the final merged polynomial to the next power_of_two length if necessary.

pub fn from_u64(evals: &[u64]) -> Self

pub fn scalar_mul(&self, scalar: &FieldElement<F>) -> Self

Trait Implementations

impl<F: IsField> Add for DenseMultilinearPolynomial<F>

where <F as IsField>::BaseType: Send + Sync,

Adds another multilinear polynomial to self. Assumes the two polynomials have the same number of variables.

type Output = Result<DenseMultilinearPolynomial<F>, &'static str>

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self::Output

Performs the + operation.

impl<F: Clone + IsField> Clone for DenseMultilinearPolynomial<F>

where <F as IsField>::BaseType: Send + Sync,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + IsField> Debug for DenseMultilinearPolynomial<F>

where <F as IsField>::BaseType: Send + Sync,

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

Formats the value using the given formatter.

impl<F: IsField> Index<usize> for DenseMultilinearPolynomial<F>

where <F as IsField>::BaseType: Send + Sync,

type Output = FieldElement<F>

The returned type after indexing.

fn index(&self, _index: usize) -> &FieldElement<F>

Performs the indexing (container[index]) operation.

impl<F: IsField> Mul<&FieldElement<F>> for DenseMultilinearPolynomial<F>

where <F as IsField>::BaseType: Send + Sync,

type Output = DenseMultilinearPolynomial<F>

The resulting type after applying the * operator.

fn mul(self, rhs: &FieldElement<F>) -> Self::Output

Performs the * operation.

impl<F: IsField> Mul<FieldElement<F>> for DenseMultilinearPolynomial<F>

where <F as IsField>::BaseType: Send + Sync,

type Output = DenseMultilinearPolynomial<F>

The resulting type after applying the * operator.

fn mul(self, rhs: FieldElement<F>) -> Self::Output

Performs the * operation.

impl<F: PartialEq + IsField> PartialEq for DenseMultilinearPolynomial<F>

where <F as IsField>::BaseType: Send + Sync,

fn eq(&self, other: &DenseMultilinearPolynomial<F>) -> 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<F: IsField> StructuralPartialEq for DenseMultilinearPolynomial<F>

where <F as IsField>::BaseType: Send + Sync,