Struct BlockSparseLayout 

pub struct BlockSparseLayout<S: Sector> { /* private fields */ }

Interpretation half of the block-sparse tensor split.

Holds the allowed-block enumeration (sorted by coordinate, packed offsets), the per-leg sector indices, the conserved flux, the cached logical shape, and the memory order the paired BlockSparseStorage is laid out in.

Construction goes through new, which enumerates flux-allowed blocks and produces a packed layout. Layout-internal invariants (sector conservation, coord uniqueness, no-gap packing) hold by construction; the storage-layout boundary check happens in TensorData::new.

Implementations

impl<S: Sector> BlockSparseLayout<S>

pub fn new(indices: Vec<QNIndex<S>>, flux: S, order: MemoryOrder) -> Self

Construct a layout by enumerating flux-allowed blocks.

The resulting layout has blocks sorted by coordinate (lexicographic) with packed offsets (no gaps or overlaps), every block satisfying the flux-conservation law, and a cached storage_extent equal to the sum of allowed block sizes.

pub fn flux(&self) -> &S

Conserved flux (total quantum number).

pub fn indices(&self) -> &[QNIndex<S>]

Per-leg QN indices.

pub fn num_blocks(&self) -> usize

Number of stored (non-zero) blocks.

pub fn block_metas(&self) -> &[BlockMeta]

Block metadata (sorted by coordinate).

pub fn shape(&self) -> &[usize]

Logical shape (total dimension per leg).

pub fn rank(&self) -> usize

Rank (number of legs).

pub fn order(&self) -> MemoryOrder

Memory order the paired storage is laid out in.

pub fn block_shape(&self, coord: &BlockCoord) -> Option<Vec<usize>>

Shape of a specific block, or None if the coordinate is out of range.

pub fn is_allowed_block(&self, coord: &BlockCoord) -> bool

Check whether a block coordinate satisfies the flux conservation law.

Trait Implementations

impl<S: Clone + Sector> Clone for BlockSparseLayout<S>

fn clone(&self) -> BlockSparseLayout<S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T, S: Sector> StorageFor<BlockSparseLayout<S>> for BlockSparseStorage<T>

impl<S: Sector> TensorLayout for BlockSparseLayout<S>

fn shape(&self) -> &[usize]

Logical shape of the tensor.

fn storage_extent(&self) -> usize

Expected flat storage length for any compatible Storage.