Struct snarkvm_algorithms::polycommit::sonic_pc::LabeledPolynomialWithBasis

pub struct LabeledPolynomialWithBasis<'a, F: PrimeField> {
    pub info: PolynomialInfo,
    pub polynomial: Vec<(F, PolynomialWithBasis<'a, F>)>,
}

Fields

info: PolynomialInfo

polynomial: Vec<(F, PolynomialWithBasis<'a, F>)>

Implementations

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

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

Construct a new labeled polynomial by consuming polynomial.

pub fn new_linear_combination(
    label: PolynomialLabel,
    polynomial: Vec<(F, PolynomialWithBasis<'a, F>)>,
    hiding_bound: Option<usize>
) -> Self

Construct a new labeled polynomial by consuming polynomial.

pub fn new_lagrange_basis(
    label: PolynomialLabel,
    polynomial: EvaluationsOnDomain<F>,
    hiding_bound: Option<usize>
) -> Self

pub fn new_lagrange_basis_ref(
    label: PolynomialLabel,
    polynomial: &'a EvaluationsOnDomain<F>,
    hiding_bound: Option<usize>
) -> Self

pub fn label(&self) -> &str

Return the label for self.

pub fn info(&self) -> &PolynomialInfo

Return the information about the label, degree bound, and hiding bound of self.

pub fn degree(&self) -> usize

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

Evaluate the polynomial in self.

pub fn sum(&self) -> impl Iterator<Item = PolynomialWithBasis<'a, F>>

Compute a linear combination of the terms in self.polynomial, producing an iterator over polynomials of the same time.

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

Retrieve the degree bound in self.

pub fn is_hiding(&self) -> bool

Retrieve whether the polynomial in self should be hidden.

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

Retrieve the hiding bound for the polynomial in self.

Trait Implementations

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

fn clone(&self) -> LabeledPolynomialWithBasis<'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 LabeledPolynomialWithBasis<'a, F>

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

Formats the value using the given formatter.

impl<'a, F: PrimeField> From<&'a LabeledPolynomial<F>> for LabeledPolynomialWithBasis<'a, F>

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

Converts to this type from the input type.

impl<'a, F: PrimeField> From<LabeledPolynomial<F>> for LabeledPolynomialWithBasis<'a, F>

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

Converts to this type from the input type.