Trait qsym2::chartab::chartab_group::CharacterProperties

pub trait CharacterProperties: ClassProperties
where
    Self::RowSymbol: LinearSpaceSymbol,
    Self::CharTab: CharacterTable<RowSymbol = Self::RowSymbol, ColSymbol = Self::ClassSymbol>,
{
    type RowSymbol;
    type CharTab;

    // Required methods
    fn character_table(&self) -> &Self::CharTab;
    fn unitary_represented(&self) -> bool;
}

Trait to indicate the presence of character properties in a group and enable access to the character table of the group.

Required Associated Types

type RowSymbol

Type of the row-labelling symbols in the associated character table.

type CharTab

Type of the associated character table whose row-labelling symbol type is constrained to be the same as Self::RowSymbol.

Required Methods

fn character_table(&self) -> &Self::CharTab

Returns a shared reference to the character table of this group.

fn unitary_represented(&self) -> bool

Returns a boolean indicating if this character table contains irreducible representations of a unitary-represented group.

If false, then some elements in the group are not unitary-represented and one has corepresentations instead of representations.

Object Safety

This trait is not object safe.

Implementors

impl<T, RowSymbol, ColSymbol> CharacterProperties for UnitaryRepresentedGroup<T, RowSymbol, ColSymbol>

where RowSymbol: LinearSpaceSymbol + Sync, ColSymbol: CollectionSymbol<CollectionElement = T> + Sync, T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder<Int = u32> + Pow<i32, Output = T>, for<'a, 'b> &'b T: Mul<&'a T, Output = T>,

type RowSymbol = RowSymbol

type CharTab = RepCharacterTable<RowSymbol, ColSymbol>

impl<T, RowSymbol, UG> CharacterProperties for MagneticRepresentedGroup<T, UG, RowSymbol>

where RowSymbol: ReducibleLinearSpaceSymbol<Subspace = UG::RowSymbol> + Serialize + DeserializeOwned, T: Mul<Output = T> + Inv<Output = T> + Hash + Eq + Clone + Sync + Debug + FiniteOrder<Int = u32> + Pow<i32, Output = T>, for<'a, 'b> &'b T: Mul<&'a T, Output = T>, UG: Clone + GroupProperties<GroupElement = T> + ClassProperties<GroupElement = T> + CharacterProperties, <UG as ClassProperties>::ClassSymbol: Serialize + DeserializeOwned, <UG as CharacterProperties>::CharTab: Serialize + DeserializeOwned, CorepCharacterTable<RowSymbol, <UG as CharacterProperties>::CharTab>: Serialize + DeserializeOwned,

type RowSymbol = RowSymbol

type CharTab = CorepCharacterTable<<MagneticRepresentedGroup<T, UG, RowSymbol> as CharacterProperties>::RowSymbol, <UG as CharacterProperties>::CharTab>