Struct YoungTableau 

pub struct YoungTableau {
    pub row_lengths: Vec<usize>,
}

A Young tableau: row_lengths defines the shape (e.g. [2, 1] for □□/□). The projector symmetrises within each row and antisymmetrises within each column: c_λ = a_λ · b_λ with a_λ = Σ_{σ∈R} σ and b_λ = Σ_{τ∈C} sgn(τ) τ.

This is an explicit expansion (not a BSGS group-theoretic one): the result is a sum of ∏ r_i! · ∏ c_j! terms (row/column factorial products), each with sign ±1.

Fields

row_lengths: Vec<usize>

Number of boxes in each row.

Implementations

impl YoungTableau

pub fn new(row_lengths: Vec<usize>) -> Self

Create a Young tableau from row lengths. The total number of boxes must match rank.

pub fn total_boxes(&self) -> usize

Total number of boxes (= tensor rank).

Trait Implementations

impl Clone for YoungTableau

fn clone(&self) -> YoungTableau

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for YoungTableau

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

Formats the value using the given formatter.