Trait ReducibleLinearSpaceSymbol

Source
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.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§