Trait ark_poly_commit::Polynomial

pub trait Polynomial<F>: Clone + Debug + Hash + PartialEq<Self> + Eq + Add<Self> + Neg + Zero + CanonicalSerialize + CanonicalDeserialize + for<'a> AddAssign<&'a Self> + for<'a> AddAssign<(F, &'a Self)> + for<'a> SubAssign<&'a Self> where
    F: Field, {
    type Point: Sized + Clone + Ord + Debug + Sync + Hash;
    fn degree(&self) -> usize;
    fn evaluate(&self, point: &Self::Point) -> F;
}

Describes the common interface for univariate and multivariate polynomials

Associated Types

type Point: Sized + Clone + Ord + Debug + Sync + Hash

The type of evaluation points for this polynomial.

Required methods

fn degree(&self) -> usize

Returns the total degree of the polynomial

fn evaluate(&self, point: &Self::Point) -> F

Evaluates self at the given point in Self::Point.

Implementations on Foreign Types

impl<F> Polynomial<F> for DensePolynomial<F> where
    F: Field, 

pub fn degree(&self) -> usize

Returns the total degree of the polynomial

pub fn evaluate(&self, point: &F) -> F

Evaluates self at the given point in Self::Point.

type Point = F

impl<F> Polynomial<F> for SparsePolynomial<F> where
    F: Field, 

pub fn degree(&self) -> usize

Returns the degree of the polynomial.

pub fn evaluate(&self, point: &F) -> F

Evaluates self at the given point in the field.

type Point = F

impl<F> Polynomial<F> for SparsePolynomial<F, SparseTerm> where
    F: Field, 

pub fn degree(&self) -> usize

Returns the total degree of the polynomial

pub fn evaluate(&self, point: &Vec<F, Global>) -> F

Evaluates self at the given point in Self::Point.

type Point = Vec<F, Global>

Implementors