Struct FreeGroupElement 

pub struct FreeGroupElement {
    pub letters: Vec<(char, bool)>,
}

An element of the free group over an alphabet char, represented as a reduced word (alternating generators and their inverses).

Fields

letters: Vec<(char, bool)>

Letters: positive = generator, negative = inverse. E.g., [(b'a', true), (b'b', false)] means a * b⁻¹.

Implementations

impl FreeGroupElement

pub fn identity() -> Self

The identity element (empty word).

pub fn generator(c: char) -> Self

A single generator.

pub fn generator_inv(c: char) -> Self

The inverse of a single generator.

pub fn mul(&self, other: &Self) -> Self

Concatenate and reduce (cancel adjacent inverse pairs).

pub fn inverse(&self) -> Self

Inverse: reverse the word and flip all polarities.

pub fn length(&self) -> usize

Length (number of letters in reduced form).

pub fn is_identity(&self) -> bool

Check if this is the identity.

Trait Implementations

impl Clone for FreeGroupElement

fn clone(&self) -> FreeGroupElement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FreeGroupElement

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

Formats the value using the given formatter.

impl PartialEq for FreeGroupElement

fn eq(&self, other: &FreeGroupElement) -> 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 FreeGroupElement

impl StructuralPartialEq for FreeGroupElement