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 evaluations(&self) -> &[F]

Returns the evaluations of self.

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 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> StructuralPartialEq for Evaluations<F>