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 DeserializeBytes for SelectRow

fn deserialize( read_buf: impl Buf, mode: SerializationMode, ) -> Result<Self, SerializationError>

where Self: Sized,

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.

fn erased_serialize( &self, write_buf: &mut dyn BufMut, mode: SerializationMode, ) -> Result<(), SerializationError>

Serialize a type erased MultivariatePoly. Since not every MultivariatePoly implements serialization, this defaults to returning an error.

impl SerializeBytes for SelectRow

fn serialize( &self, write_buf: impl BufMut, mode: SerializationMode, ) -> Result<(), SerializationError>