Struct RankClock 

pub struct RankClock { /* private fields */ }

Public clock column of one ordered endpoint: sel(x) · ω^(base + rank(x)), zero off the selector.

Implementations

impl RankClock

pub fn for_spec(clocks: &[Option<Self>], spec_idx: usize) -> Result<&Self>

The clock of spec spec_idx among one table’s rank_clocks entries; errors when it has none.

pub fn evaluate<F>(&self, r: &[Flat<F>]) -> Result<Flat<F>>

where F: TowerField + HardwareField,

MLE of the clock column at r. Errors unless r.len() == num_vars.

pub fn accumulate<F>(&self, out: &mut [Flat<F>], coeff: Flat<F>) -> Result<()>

where F: TowerField + HardwareField,

Adds coeff · ω^(base + t) to the row of the t-th emit. Errors unless out.len() == 2^num_vars.

Trait Implementations

impl Clone for RankClock

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RankClock

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

Formats the value using the given formatter.

impl Eq for RankClock

impl PartialEq for RankClock

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for RankClock