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 fn get_row(&self, lde_idx: usize) -> &[F]

Get all periodic column values for a given LDE index using modular indexing.

Returns a slice of length width() containing the value of each periodic column.

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) -> PeriodicLdeTable<F>

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.