Struct FiniteDimCStarAlgebra 

pub struct FiniteDimCStarAlgebra {
    pub blocks: Vec<usize>,
    pub name: String,
}

Represents a finite-dimensional C*-algebra as a product of matrix algebras. A = M_{n_1} × M_{n_2} × … × M_{n_k}.

Fields

blocks: Vec<usize>

Block sizes n_i.

name: String

Name.

Implementations

impl FiniteDimCStarAlgebra

pub fn new(name: &str, blocks: Vec<usize>) -> Self

Creates a C*-algebra.

pub fn commutative(n: usize) -> Self

Creates the algebra C^n (n commutative factors).

pub fn matrix_algebra(n: usize) -> Self

Creates M_n(C).

pub fn dimension(&self) -> usize

Returns the total dimension as a vector space.

pub fn num_irreps(&self) -> usize

Returns the number of irreducible representations.

pub fn is_commutative(&self) -> bool

Checks if the algebra is commutative.

pub fn k0_rank(&self) -> usize

Returns the K_0 group (free abelian on generators of irreps).

pub fn is_simple(&self) -> bool

Checks if this algebra is simple (single block).

pub fn normalized_trace(&self, block_idx: usize, value: f64) -> f64

Computes the trace (normalized to 1 on identity) of an element given as eigenvalues.

Trait Implementations

impl Clone for FiniteDimCStarAlgebra

fn clone(&self) -> FiniteDimCStarAlgebra

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FiniteDimCStarAlgebra

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

Formats the value using the given formatter.