Struct CharacterTable 

pub struct CharacterTable {
    pub prime: u64,
    pub class_sizes: Vec<u128>,
    pub inverse_class: Vec<usize>,
    pub power_map2: Vec<usize>,
    pub identity_class: usize,
    pub class_reps: Vec<Perm>,
    pub degrees: Vec<u128>,
    pub values: Vec<Vec<u64>>,
}

The character table of ⟨gens⟩, computed exactly by Dixon’s method.

Fields

prime: u64

The Dixon prime p (p ≡ 1 mod exponent, p > |G|) the values live in.

class_sizes: Vec<u128>

Conjugacy class sizes |C_r| (column r).

inverse_class: Vec<usize>

Inverse-class index r̄ (C_{r̄} = C_r⁻¹); χ(C_{r̄}) is the GF(p) image of conj χ(C_r).

power_map2: Vec<usize>

The squaring power map: power_map2[r] is the class index of g_r² (g_r ∈ C_r) — a class invariant ((xgx⁻¹)² = xg²x⁻¹), the input to the Frobenius–Schur indicators.

identity_class: usize

The index of the identity class ({e}).

class_reps: Vec<Perm>

A representative permutation of each class (C_r’s first element) — lets character-derived quantities that depend on the underlying action (e.g. the permutation character) read off the table.

degrees: Vec<u128>

Irreducible degrees χ_s(1) (row s), as exact integers; Σ d_s² = |G|.

values: Vec<Vec<u64>>

χ_s(C_r) as a GF(p) element (the image of the algebraic character value). values[s][r].

Trait Implementations

impl Clone for CharacterTable

fn clone(&self) -> CharacterTable

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CharacterTable

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for CharacterTable

fn eq(&self, other: &CharacterTable) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CharacterTable

impl StructuralPartialEq for CharacterTable