Struct InfCube 

pub struct InfCube;

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

The vertex inf selects a multilinear’s leading coefficient in that variable. So the coefficient indexed by a vertex v belongs to the monomial

prod_{i : v_i = inf} X_i

Trait Implementations

impl Debug for InfCube

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

Formats the value using the given formatter.

impl Hypercube for InfCube

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.