Trait SubspaceDecomposable

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>;
}

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

Required Associated Types

type Decomposition

The type for the decomposed result.

Required Methods

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.

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

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>

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>