MetaGroupSignature

algebraeon_groups::structure

Trait MetaGroupSignature 

Source 
pub trait MetaGroupSignature: MetaType
where
    Self::Signature: GroupSignature,
{
    // Provided methods
    fn inverse(&self) -> Self { ... }
    fn int_pow(&self, n: &Integer) -> Self { ... }
    fn generated_finite_subgroup_table(
        generators: Vec<Self>,
    ) -> (FiniteGroupMultiplicationTable, Vec<Self>, HashMap<Self, usize>)
       where Self: Hash + Eq { ... }
    fn generated_finite_subgroup(gens: Vec<Self>) -> FiniteSubgroup<Self>
       where Self: Hash + Eq { ... }
}

Provided Methods§

Source

fn inverse(&self) -> Self

Source

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

Source

fn generated_finite_subgroup_table( generators: Vec<Self>, ) -> (FiniteGroupMultiplicationTable, Vec<Self>, HashMap<Self, usize>)
where Self: Hash + Eq,

Source

fn generated_finite_subgroup(gens: Vec<Self>) -> FiniteSubgroup<Self>
where Self: 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§