Trait permutation_rs::group::GroupAction

pub trait GroupAction {
    type Domain;
    fn act_on(&self, element: &Self::Domain) -> Self::Domain;
}

A group can act on a set. (See Group Action).

Associated Types

type Domain

The set the group acts on.

Required Methods

fn act_on(&self, element: &Self::Domain) -> Self::Domain

The action that the group has on the domain.

Implementors

• impl GroupAction for Permutation type Domain = u64;
• impl GroupAction for SLPPermutation type Domain = u64;