Trait Polynomial

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

    // Required methods
    fn degree(&self) -> usize;
    fn evaluate(&self, point: &Self::Point) -> F;
}

Describes the common interface for univariate and multivariate polynomials

Required 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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

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

type Point = Vec<F>

impl<F: Field> Polynomial<F> for SparseMultilinearExtension<F>

type Point = Vec<F>

impl<F: Field> Polynomial<F> for ark_poly::polynomial::multivariate::SparsePolynomial<F, SparseTerm>

type Point = Vec<F>

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

type Point = F

impl<F: Field> Polynomial<F> for ark_poly::polynomial::univariate::SparsePolynomial<F>

type Point = F