Struct ark_poly::polynomial::multivariate::SparseTerm

pub struct SparseTerm(_);

Stores a term (monomial) in a multivariate polynomial. Each element is of the form (variable, power).

Trait Implementations

impl CanonicalDeserialize for SparseTerm

fn deserialize<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads Self from reader.

fn deserialize_uncompressed<R: Read>(
    reader: R
) -> Result<Self, SerializationError>

Reads Self from reader without compression.

fn deserialize_unchecked<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads self from reader without compression, and without performing validity checks. Should be used only when the input is trusted.

impl CanonicalSerialize for SparseTerm

fn serialize<W: Write>(&self, writer: W) -> Result<(), SerializationError>

Serializes self into writer. It is left up to a particular type for how it strikes the serialization efficiency vs compression tradeoff. For standard types (e.g. bool, lengths, etc.) typically an uncompressed form is used, whereas for algebraic types compressed forms are used.

fn serialized_size(&self) -> usize

fn serialize_uncompressed<W: Write>(
    &self,
    writer: W
) -> Result<(), SerializationError>

Serializes self into writer without compression.

fn serialize_unchecked<W: Write>(
    &self,
    writer: W
) -> Result<(), SerializationError>

Serializes self into writer without compression, and without performing validity checks. Should be used only when there is no danger of adversarial manipulation of the output.

fn uncompressed_size(&self) -> usize

impl Clone for SparseTerm

fn clone(&self) -> SparseTerm

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SparseTerm

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

Formats the value using the given formatter.

impl Default for SparseTerm

fn default() -> SparseTerm

Returns the “default value” for a type.

impl Deref for SparseTerm

type Target = [(usize, usize)]

The resulting type after dereferencing.

fn deref(&self) -> &[(usize, usize)]

Dereferences the value.

impl Eq for SparseTerm

impl Hash for SparseTerm

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

pub fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl Ord for SparseTerm

fn cmp(&self, other: &Self) -> Ordering

Sort by total degree. If total degree is equal then ordering is given by exponent weight in lower-numbered variables ie. x_1 > x_2, x_1^2 > x_1 * x_2, etc.

#[must_use]pub fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]pub fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl PartialEq<SparseTerm> for SparseTerm

fn eq(&self, other: &SparseTerm) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &SparseTerm) -> bool

This method tests for !=.

impl PartialOrd<SparseTerm> for SparseTerm

fn partial_cmp(&self, other: &SparseTerm) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use]pub fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

#[must_use]pub fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use]pub fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

#[must_use]pub fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralEq for SparseTerm

impl StructuralPartialEq for SparseTerm

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.