Trait qsym2::chartab::SubspaceDecomposable

source · 
pub trait SubspaceDecomposable<T>: CharacterTable
where
    T: ComplexFloat,
    <T as ComplexFloat>::Real: ToPrimitive,
    Self::Decomposition: ReducibleLinearSpaceSymbol<Subspace = Self::RowSymbol>,
{
    type Decomposition;

    // Required method
    fn reduce_characters(
        &self,
        characters: &[(&Self::ColSymbol, T)],
        thresh: T::Real,
    ) -> Result<Self::Decomposition, DecompositionError>;
}
Expand description

Trait for character tables that support decomposing a space into its irreducible subspaces using characters.

Required Associated Types§

source

type Decomposition

The type for the decomposed result.

Required Methods§

source

fn reduce_characters( &self, characters: &[(&Self::ColSymbol, T)], thresh: T::Real, ) -> Result<Self::Decomposition, DecompositionError>

Reduces a space into subspaces using its characters under the conjugacy classes of the character table.

§Arguments
  • characters - A slice of characters for conjugacy classes.
  • thresh - Threshold for determining non-zero imaginary parts of multiplicities.
§Returns

The decomposition result.

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<RowSymbol, ColSymbol, T> SubspaceDecomposable<T> for RepCharacterTable<RowSymbol, ColSymbol>
where RowSymbol: LinearSpaceSymbol + PartialOrd + Sync + Send, ColSymbol: CollectionSymbol + Sync + Send, T: ComplexFloat + Sync + Send, <T as ComplexFloat>::Real: ToPrimitive + Sync + Send, for<'a> Complex<f64>: Mul<&'a T, Output = Complex<f64>>,

§

type Decomposition = DecomposedSymbol<RowSymbol>

source§

impl<RowSymbol, UC, T> SubspaceDecomposable<T> for CorepCharacterTable<RowSymbol, UC>
where RowSymbol: ReducibleLinearSpaceSymbol + PartialOrd + Sync + Send, UC: CharacterTable + Sync + Send, <UC as CharacterTable>::ColSymbol: Serialize + DeserializeOwned + Sync + Send, T: ComplexFloat + Sync + Send, <T as ComplexFloat>::Real: ToPrimitive + Sync + Send, for<'a> Complex<f64>: Mul<&'a T, Output = Complex<f64>>,

§

type Decomposition = DecomposedSymbol<RowSymbol>