Trait ark_poly::polynomial::multivariate::Term

pub trait Term: Clone + PartialOrd + Ord + PartialEq + Eq + Hash + Default + Debug + Deref<Target = [(usize, usize)]> + Send + Sync + CanonicalSerialize + CanonicalDeserialize {
    fn new(term: Vec<(usize, usize)>) -> Self;
    fn degree(&self) -> usize;
    fn vars(&self) -> Vec<usize>;
    fn powers(&self) -> Vec<usize>;
    fn is_constant(&self) -> bool;
    fn evaluate<F: Field>(&self, p: &[F]) -> F;
}

Describes the interface for a term (monomial) of a multivariate polynomial.

Required methods

fn new(term: Vec<(usize, usize)>) -> Self

Create a new Term from a list of tuples of the form (variable, power)

fn degree(&self) -> usize

Returns the total degree of self. This is the sum of all variable powers in self

fn vars(&self) -> Vec<usize>

Returns a list of variables in self

fn powers(&self) -> Vec<usize>

Returns a list of the powers of each variable in self

fn is_constant(&self) -> bool

Returns whether self is a constant

fn evaluate<F: Field>(&self, p: &[F]) -> F

Evaluates self at the point p.

Implementors

impl Term for SparseTerm

fn new(term: Vec<(usize, usize)>) -> Self

Create a new Term from a list of tuples of the form (variable, power)

fn degree(&self) -> usize

Returns the sum of all variable powers in self

fn vars(&self) -> Vec<usize>

Returns a list of variables in self

fn powers(&self) -> Vec<usize>

Returns a list of variable powers in self

fn is_constant(&self) -> bool

Returns whether self is a constant

fn evaluate<F: Field>(&self, point: &[F]) -> F

Evaluates self at the given point in the field.