Enum SLP

pub enum SLP {
    Identity,
    Generator(u64),
    Product(Box<SLP>, Box<SLP>),
    Inverse(Box<SLP>),
}

Single Line Program (SLP) references various elements to form a expression That can be evaluated to actual group elements.

Variants

Identity

The identity element of a SLP.

Generator(u64)

A generator, indexed by an integer.

Product(Box<SLP>, Box<SLP>)

Product of two SLPs.

Inverse(Box<SLP>)

Inverse of a SLP.

Implementations

impl SLP

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

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

Trait Implementations

impl Clone for SLP

fn clone(&self) -> SLP

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SLP

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

Formats the value using the given formatter.

impl Display for SLP

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

Formats the value using the given formatter.

impl GroupElement for SLP

fn is_identity(&self) -> bool

Determine if the group element is the identity.

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

The associated operation of the Group.

fn inverse(&self) -> SLP

Returns the inverse of the group element.

impl Hash for SLP

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SLP

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

impl StructuralPartialEq for SLP