Struct snarkvm_algorithms::fft::evaluations::Evaluations

pub struct Evaluations<F: PrimeField> {
    pub evaluations: Vec<F>,
    /* private fields */
}

Stores a polynomial in evaluation form.

Fields

evaluations: Vec<F>

The evaluations of a polynomial over the domain D

Implementations

impl<F: PrimeField> Evaluations<F>

pub fn from_vec_and_domain(
    evaluations: Vec<F>,
    domain: EvaluationDomain<F>
) -> Self

Construct Self from evaluations and a domain.

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

Interpolate a polynomial from a list of evaluations

pub fn interpolate_with_pc_by_ref(
    &self,
    pc: &IFFTPrecomputation<F>
) -> DensePolynomial<F>

Interpolate a polynomial from a list of evaluations

pub fn interpolate(self) -> DensePolynomial<F>

Interpolate a polynomial from a list of evaluations

pub fn interpolate_with_pc(
    self,
    pc: &IFFTPrecomputation<F>
) -> DensePolynomial<F>

Interpolate a polynomial from a list of evaluations

pub fn domain(&self) -> EvaluationDomain<F>

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

pub fn evaluate_with_coeffs(&self, lagrange_coefficients_at_point: &[F]) -> F

Trait Implementations

impl<'a, 'b, F: PrimeField> Add<&'a Evaluations<F>> for &'b Evaluations<F>

type Output = Evaluations<F>

The resulting type after applying the + operator.

fn add(self, other: &'a Evaluations<F>) -> Evaluations<F>

Performs the + operation.

impl<'a, F: PrimeField> AddAssign<&'a Evaluations<F>> for Evaluations<F>

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

Performs the += operation.

impl<F: PrimeField> CanonicalDeserialize for Evaluations<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<F: PrimeField> CanonicalSerialize for Evaluations<F>

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

fn serialized_size(&self, compress: 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<F: Clone + PrimeField> Clone for Evaluations<F>

fn clone(&self) -> Evaluations<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + PrimeField> Debug for Evaluations<F>

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

Formats the value using the given formatter.

impl<'a, 'b, F: PrimeField> Div<&'a Evaluations<F>> for &'b Evaluations<F>

type Output = Evaluations<F>

The resulting type after applying the / operator.

fn div(self, other: &'a Evaluations<F>) -> Evaluations<F>

Performs the / operation.

impl<'a, F: PrimeField> DivAssign<&'a Evaluations<F>> for Evaluations<F>

fn div_assign(&mut self, other: &'a Evaluations<F>)

Performs the /= operation.

impl<F: Hash + PrimeField> Hash for Evaluations<F>

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl<F: PrimeField> Index<usize> for Evaluations<F>

type Output = F

The returned type after indexing.

fn index(&self, index: usize) -> &F

Performs the indexing (container[index]) operation.

impl<'a, 'b, F: PrimeField> Mul<&'a Evaluations<F>> for &'b Evaluations<F>

type Output = Evaluations<F>

The resulting type after applying the * operator.

fn mul(self, other: &'a Evaluations<F>) -> Evaluations<F>

Performs the * operation.

impl<'a, F: PrimeField> MulAssign<&'a Evaluations<F>> for Evaluations<F>

fn mul_assign(&mut self, other: &'a Evaluations<F>)

Performs the *= operation.

impl<F: PartialEq + PrimeField> PartialEq<Evaluations<F>> for Evaluations<F>

fn eq(&self, other: &Evaluations<F>) -> bool

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a, 'b, F: PrimeField> Sub<&'a Evaluations<F>> for &'b Evaluations<F>

type Output = Evaluations<F>

The resulting type after applying the - operator.

fn sub(self, other: &'a Evaluations<F>) -> Evaluations<F>

Performs the - operation.

impl<'a, F: PrimeField> SubAssign<&'a Evaluations<F>> for Evaluations<F>

fn sub_assign(&mut self, other: &'a Evaluations<F>)

Performs the -= operation.

impl<F: PrimeField> Valid for Evaluations<F>

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

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

impl<F: Eq + PrimeField> Eq for Evaluations<F>

impl<F: PrimeField> StructuralEq for Evaluations<F>

impl<F: PrimeField> StructuralPartialEq for Evaluations<F>