Enum snarkvm_algorithms::fft::polynomial::Polynomial

pub enum Polynomial<'a, F: Field> {
    Sparse(Cow<'a, SparsePolynomial<F>>),
    Dense(Cow<'a, DensePolynomial<F>>),
}

Represents either a sparse polynomial or a dense one.

Variants

Sparse(Cow<'a, SparsePolynomial<F>>)

Represents the case where self is a sparse polynomial

Dense(Cow<'a, DensePolynomial<F>>)

Represents the case where self is a dense polynomial

Implementations

impl<'a, F: Field> Polynomial<'a, F>

pub fn is_zero(&self) -> bool

Checks if the given polynomial is zero.

pub fn degree(&self) -> usize

Return the degree of `self.

pub fn leading_coefficient(&self) -> Option<&F>

pub fn as_dense(&self) -> Option<&DensePolynomial<F>>

pub fn as_dense_mut(&mut self) -> Option<&mut DensePolynomial<F>>

pub fn as_sparse(&self) -> Option<&SparsePolynomial<F>>

pub fn into_dense(&self) -> DensePolynomial<F>

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

pub fn coeffs(&'a self) -> Box<dyn Iterator<Item = (usize, &'a F)> + 'a>

pub fn divide_with_q_and_r(
    &self,
    divisor: &Self
) -> Option<(DensePolynomial<F>, DensePolynomial<F>)>

Divide self by another (sparse or dense) polynomial, and returns the quotient and remainder.

impl<F: PrimeField> Polynomial<'_, F>

pub fn evaluate_over_domain(
    poly: impl Into<Self>,
    domain: EvaluationDomain<F>
) -> Evaluations<F>

Construct Evaluations by evaluating a polynomial over the domain domain.

Trait Implementations

impl<'a, F: Field> AddAssign<&'a Polynomial<'a, F>> for DensePolynomial<F>

fn add_assign(&mut self, other: &'a Polynomial<'_, F>)

Performs the += operation.

impl<'a, F: Field> CanonicalDeserialize for Polynomial<'a, F>

fn deserialize_with_mode<R: Read>(
    reader: R,
    compress: Compress,
    validate: Validate
) -> Result<Self, SerializationError>

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

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

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

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

impl<'a, F: Field> CanonicalSerialize for Polynomial<'a, F>

fn serialize_with_mode<W: Write>(
    &self,
    writer: W,
    compress: Compress
) -> Result<(), SerializationError>

fn serialized_size(&self, mode: Compress) -> usize

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

fn compressed_size(&self) -> usize

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

fn uncompressed_size(&self) -> usize

impl<'a, F: Clone + Field> Clone for Polynomial<'a, F>

fn clone(&self) -> Polynomial<'a, F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, F: Debug + Field> Debug for Polynomial<'a, F>

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

Formats the value using the given formatter.

impl<'a, F: Field> From<&'a DensePolynomial<F>> for Polynomial<'a, F>

fn from(other: &'a DensePolynomial<F>) -> Self

Converts to this type from the input type.

impl<'a, F: Field> From<&'a SparsePolynomial<F>> for Polynomial<'a, F>

fn from(other: &'a SparsePolynomial<F>) -> Self

Converts to this type from the input type.

impl<F: Field> From<DensePolynomial<F>> for Polynomial<'_, F>

fn from(other: DensePolynomial<F>) -> Self

Converts to this type from the input type.

impl<F: Field> From<SparsePolynomial<F>> for Polynomial<'_, F>

fn from(other: SparsePolynomial<F>) -> Self

Converts to this type from the input type.

impl<F: Field> Into<DensePolynomial<F>> for Polynomial<'_, F>

fn into(self) -> DensePolynomial<F>

Converts this type into the (usually inferred) input type.

impl<F: Field> TryInto<SparsePolynomial<F>> for Polynomial<'_, F>

type Error = ()

The type returned in the event of a conversion error.

fn try_into(self) -> Result<SparsePolynomial<F>, ()>

Performs the conversion.

impl<'a, F: Field> Valid for Polynomial<'a, F>

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>(
    batch: impl Iterator<Item = &'a Self> + Send
) -> Result<(), SerializationError> where
    Self: 'a,