PermutationGroupProperties

qsym2::permutation::permutation_group

Trait PermutationGroupProperties 

Source 
pub trait PermutationGroupProperties:
    ClassProperties<GroupElement = Permutation<u8>, ClassSymbol = PermutationClassSymbol<u8>>
    + CharacterProperties
    + Sized {
    // Required methods
    fn from_rank(rank: u8) -> Result<Self, Error>;
    fn canonicalise_character_table(&mut self);

    // Provided method
    fn set_class_symbols_from_cycle_patterns(&mut self) { ... }
}
Expand description

Trait for permutation groups. Only permutation groups of ranks up to 20 are supported, as higher-rank permutation groups have too large orders not representable with usize which is u64 on most modern machines.

Required Methods§

Source

fn from_rank(rank: u8) -> Result<Self, Error>

Constructs a permutation group $Sym(n)$ from a given rank $n$ (i.e. the number of elements in the set to be permuted).

§Arguments
  • rank - The permutation rank.
§Returns

A finite group of permutations.

Source

fn canonicalise_character_table(&mut self)

Reorders and relabels the rows and columns of the constructed character table using permutation-specific rules and conventions.

Provided Methods§

Source

fn set_class_symbols_from_cycle_patterns(&mut self)

Sets class symbols from cycle patterns.

Classes in permutation groups are determined by the cycle patterns of their elements. The number of classes for $Sym(n)$ is the number of integer partitions of $n$.

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§