Struct PeriodicLdeTable 

pub struct PeriodicLdeTable<F> { /* private fields */ }

Compact storage for periodic column values on the LDE domain.

Instead of materializing the full LDE-sized table, stores only extended_height rows (where extended_height = max_period × blowup) and uses modular indexing to access values.

All periodic columns are padded to the maximum period before extrapolation, creating a rectangular matrix for cache-friendly row-wise access.

Invariants

• All periods must be powers of 2 (see module-level documentation)
• Height is always max_period × blowup (both powers of 2, so height is power of 2)

Implementations

impl<F: Clone + Send + Sync> PeriodicLdeTable<F>

pub const fn new(values: RowMajorMatrix<F>) -> Self

Create a new periodic LDE table from extrapolated values.

The matrix should have height = max_period × blowup and width = num_periodic_columns.

pub fn empty() -> Self

Create an empty table (for AIRs without periodic columns).

pub const fn is_empty(&self) -> bool

Returns true if there are no periodic columns.

pub const fn width(&self) -> usize

Number of periodic columns.

pub const fn height(&self) -> usize

Height of the compact table (max_period × blowup).

pub const fn packed_group_period(&self, pack_width: usize) -> usize

Number of distinct packed row groups when the LDE domain is read in groups of pack_width consecutive indices, group g starting at g * pack_width.

get reduces indices modulo height, and the group starts g * pack_width mod height repeat with period height / gcd(height, pack_width). Group g therefore reads the same values as group g % packed_group_period(pack_width).

pack_width need not be a power of two or divide height. Returns 0 for an empty table.

pub fn get(&self, lde_idx: usize, col_idx: usize) -> &F

Get a specific periodic column value for a given LDE index.

Trait Implementations

impl<F: Clone> Clone for PeriodicLdeTable<F>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for PeriodicLdeTable<F>

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

Formats the value using the given formatter.