pub trait CharacterProperties: ClassPropertieswhere
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;
}Expand description
Trait to indicate the presence of character properties in a group and enable access to the character table of the group.
Required Associated Types§
Sourcetype CharTab
type CharTab
Type of the associated character table whose row-labelling symbol type is constrained to be
the same as Self::RowSymbol.
Required Methods§
Sourcefn character_table(&self) -> &Self::CharTab
fn character_table(&self) -> &Self::CharTab
Returns a shared reference to the character table of this group.
Sourcefn unitary_represented(&self) -> bool
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.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".