Struct LagrangeSelectors

pub struct LagrangeSelectors<T> {
    pub is_first_row: T,
    pub is_last_row: T,
    pub is_transition: T,
    pub inv_vanishing: T,
}

Given a PolynomialSpace, S, and a subset R, a Lagrange selector P_R is a polynomial which is not equal to 0 for every element in R but is equal to 0 for every element of S not in R.

This struct contains evaluations of several Lagrange selectors for a fixed PolynomialSpace over some collection of points disjoint from that PolynomialSpace.

The Lagrange selector is normalized if it is equal to 1 for every element in R. The LagrangeSelectors given here are not normalized.

Fields

is_first_row: T

A Lagrange selector corresponding to the first point in the space.

is_last_row: T

A Lagrange selector corresponding to the last point in the space.

is_transition: T

A Lagrange selector corresponding the subset of all but the last point.

inv_vanishing: T

The inverse of the vanishing polynomial which is a Lagrange selector corresponding to the empty set

Trait Implementations

impl<T: Debug> Debug for LagrangeSelectors<T>

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

Formats the value using the given formatter.