pub trait ReducibleLinearSpaceSymbol: LinearSpaceSymbol{
    type Subspace;

    // Required methods
    fn from_subspaces(subspaces: &[(Self::Subspace, usize)]) -> Self;
    fn subspaces(&self) -> Vec<(&Self::Subspace, &usize)>;

    // Provided method
    fn sorted_subspaces(&self) -> Vec<(&Self::Subspace, &usize)> { ... }
}
Expand description

Trait for symbols describing reducible linear spaces.

Required Associated Types§

source

type Subspace

The type of the subspace symbols.

Required Methods§

source

fn from_subspaces(subspaces: &[(Self::Subspace, usize)]) -> Self

Constructs Self from constituting subspace symbols and their multiplicities.

source

fn subspaces(&self) -> Vec<(&Self::Subspace, &usize)>

Returns the constituting subspace symbols and their multiplicities.

Provided Methods§

source

fn sorted_subspaces(&self) -> Vec<(&Self::Subspace, &usize)>

Returns an iterator containing sorted references to the constituting symbols.

§Panics

Panics if the constituting symbols cannot be ordered.

Object Safety§

This trait is not object safe.

Implementors§