Enum snarkvm_algorithms::polycommit::sonic_pc::PolynomialWithBasis

pub enum PolynomialWithBasis<'a, F: PrimeField> {
    Monomial {
        polynomial: Cow<'a, Polynomial<'a, F>>,
        degree_bound: Option<usize>,
    },
    Lagrange {
        evaluations: Cow<'a, Evaluations<F>>,
    },
}

Variants

Monomial

Fields

polynomial: Cow<'a, Polynomial<'a, F>>

degree_bound: Option<usize>

A polynomial in monomial basis, along with information about its degree bound (if any).

Lagrange

Fields

evaluations: Cow<'a, Evaluations<F>>

A polynomial in Lagrange basis, along with information about its degree bound (if any).

Implementations

impl<'a, F: PrimeField> PolynomialWithBasis<'a, F>

pub fn new_monomial_basis_ref( polynomial: &'a Polynomial<'_, F>, degree_bound: Option<usize> ) -> Self

pub fn new_monomial_basis( polynomial: Polynomial<'a, F>, degree_bound: Option<usize> ) -> Self

pub fn new_dense_monomial_basis_ref( polynomial: &'a DensePolynomial<F>, degree_bound: Option<usize> ) -> Self

pub fn new_dense_monomial_basis( polynomial: DensePolynomial<F>, degree_bound: Option<usize> ) -> Self

pub fn new_sparse_monomial_basis_ref( polynomial: &'a SparsePolynomial<F>, degree_bound: Option<usize> ) -> Self

pub fn new_sparse_monomial_basis( polynomial: SparsePolynomial<F>, degree_bound: Option<usize> ) -> Self

pub fn new_lagrange_basis(evaluations: EvaluationsOnDomain<F>) -> Self

pub fn new_lagrange_basis_ref(evaluations: &'a EvaluationsOnDomain<F>) -> Self

pub fn is_in_monomial_basis(&self) -> bool

pub fn degree_bound(&self) -> Option<usize>

Retrieve the degree bound in self.

pub fn is_sparse(&self) -> bool

Retrieve the degree bound in self.

pub fn is_in_lagrange_basis(&self) -> bool

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

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

Trait Implementations

impl<'a, F: Clone + PrimeField> Clone for PolynomialWithBasis<'a, F>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, F: Debug + PrimeField> Debug for PolynomialWithBasis<'a, F>

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

Formats the value using the given formatter.