Trait GroupSignature 

pub trait GroupSignature:
    MonoidSignature
    + TryInverseSignature
    + TryLeftInverseSignature
    + TryRightInverseSignature
    + LeftCancellativeCompositionSignature
    + RightCancellativeCompositionSignature {
    // Required method
    fn inverse(&self, a: &Self::Set) -> Self::Set;

    // Provided methods
    fn int_pow(&self, a: &Self::Set, n: &Integer) -> Self::Set { ... }
    fn generated_finite_subgroup_table(
        &self,
        generators: Vec<Self::Set>,
    ) -> (FiniteGroupMultiplicationTable, Vec<Self::Set>, HashMap<Self::Set, usize>)
       where Self::Set: Hash + Eq { ... }
    fn generated_finite_subgroup(
        &self,
        gens: Vec<Self::Set>,
    ) -> FiniteSubgroup<Self::Set>
       where Self::Set: Hash + Eq { ... }
}

When inverses always exist.

Required Methods

fn inverse(&self, a: &Self::Set) -> Self::Set

Provided Methods

fn int_pow(&self, a: &Self::Set, n: &Integer) -> Self::Set

fn generated_finite_subgroup_table( &self, generators: Vec<Self::Set>, ) -> (FiniteGroupMultiplicationTable, Vec<Self::Set>, HashMap<Self::Set, usize>)

where Self::Set: Hash + Eq,

fn generated_finite_subgroup( &self, gens: Vec<Self::Set>, ) -> FiniteSubgroup<Self::Set>

where Self::Set: Hash + Eq,

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

impl GroupSignature for C2CanonicalStructure

impl GroupSignature for algebraeon_groups::permutation::PermutationCanonicalStructure

impl<const N: usize> GroupSignature for algebraeon_groups::examples::symmetric::PermutationCanonicalStructure<N>