Trait ark_poly::polynomial::MVPolynomial

pub trait MVPolynomial<F: Field>: Polynomial<F> {
    type Term: Term;
    fn from_coefficients_vec(
        num_vars: usize, 
        terms: Vec<(F, Self::Term)>
    ) -> Self;
    fn terms(&self) -> &[(F, Self::Term)];
    fn num_vars(&self) -> usize;
    fn rand<R: Rng>(d: usize, num_vars: usize, rng: &mut R) -> Self;

    fn from_coefficients_slice(
        num_vars: usize, 
        terms: &[(F, Self::Term)]
    ) -> Self { ... }
}

Describes the interface for multivariate polynomials

Associated Types

type Term: Term

The type of the terms of self

Required methods

fn from_coefficients_vec(num_vars: usize, terms: Vec<(F, Self::Term)>) -> Self

Constructs a new polynomial from a list of tuples of the form (Self::Term, coeff)

fn terms(&self) -> &[(F, Self::Term)]

Returns the terms of a self as a list of tuples of the form (Self::Term, coeff)

fn num_vars(&self) -> usize

Returns the number of variables in self

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

Outputs an l-variate polynomial which is the sum of l d-degree univariate polynomials where each coefficient is sampled uniformly at random.

Provided methods

fn from_coefficients_slice(num_vars: usize, terms: &[(F, Self::Term)]) -> Self

Constructs a new polynomial from a list of tuples of the form (Self::Term, coeff)

Implementors

impl<F: Field> MVPolynomial<F> for SparsePolynomial<F, SparseTerm>

fn num_vars(&self) -> usize

Returns the number of variables in self

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

Outputs an l-variate polynomial which is the sum of l d-degree univariate polynomials where each coefficient is sampled uniformly at random.

fn from_coefficients_vec(num_vars: usize, terms: Vec<(F, SparseTerm)>) -> Self

Constructs a new polynomial from a list of tuples of the form (coeff, Self::Term)

fn terms(&self) -> &[(F, Self::Term)]

Returns the terms of a self as a list of tuples of the form (coeff, Self::Term)

type Term = SparseTerm