Struct SelectRow

pub struct SelectRow { /* private fields */ }

Represents a multilinear F2-polynomial whose evaluations over the hypercube is 1 at a specific hypercube index, and 0 everywhere else.

    (1 << n_vars)
<-------------------->
0,0 .. 0,0,1,0, .. 0,0
           ^
           index of 1

This is useful for defining boundary constraints

Implementations

impl SelectRow

pub fn new(n_vars: usize, index: usize) -> Result<Self, Error>

pub fn multilinear_extension<P: PackedField<Scalar = BinaryField1b>>( &self, ) -> Result<MultilinearExtension<P>, Error>

Trait Implementations

impl Clone for SelectRow

fn clone(&self) -> SelectRow

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SelectRow

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

Formats the value using the given formatter.

impl<F: Field> MultivariatePoly<F> for SelectRow

fn degree(&self) -> usize

Total degree of the polynomial.

fn n_vars(&self) -> usize

The number of variables.

fn evaluate(&self, query: &[F]) -> Result<F, Error>

Evaluate the polynomial at a point in the extension field.

fn binary_tower_level(&self) -> usize

Returns the maximum binary tower level of all constants in the arithmetic expression.