Struct SLPPermutation

pub struct SLPPermutation {
    pub element: (SLP, Permutation),
}

A special product of a SLP and a Permutation.

Fields

element: (SLP, Permutation)

The product of a SLP and a Permutation.

Implementations

impl SLPPermutation

pub fn new(slp: SLP, permutation: Permutation) -> SLPPermutation

Create an SLPPermutation.

pub fn transform(&self, morphism: &Morphism<SLP, Word>) -> Word

Map the SLPPermutation in to a Word according to the Morphism.

Trait Implementations

impl Debug for SLPPermutation

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

Formats the value using the given formatter.

impl GroupAction for SLPPermutation

type Domain = u64

The set the group acts on.

fn act_on(&self, original: &u64) -> u64

The action that the group has on the domain.

impl GroupElement for SLPPermutation

fn is_identity(&self) -> bool

Determine if the group element is the identity.

fn times(&self, multiplicant: &SLPPermutation) -> SLPPermutation

The associated operation of the Group.

fn inverse(&self) -> SLPPermutation

Returns the inverse of the group element.

impl PartialEq for SLPPermutation

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