Struct OneCube 

pub struct OneCube;

The Boolean cube {0, 1}^n, whose per-variable basis is (1 - X, X).

That basis is the pair of Lagrange polynomials on the two vertices 0 and 1. So the coefficient indexed by a vertex is the multilinear’s evaluation at that vertex.

Trait Implementations

impl Debug for OneCube

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

Formats the value using the given formatter.

impl Hypercube for OneCube

fn basis<F: FieldOps>(coord: &F) -> [F; 2]

Evaluates the basis of one variable at a coordinate.

fn expand_var<F: FieldOps>(value: &F, coord: &F) -> [F; 2]

Scales the basis of one variable by a value.

fn contract_var<F: FieldOps>(lo: &mut F, hi: &F)

Strips one variable’s basis factor from the two halves of an expansion.

fn eq_one_var<F: FieldOps>(x: F, y: F) -> F

Evaluates the equality indicator of one variable.