Trait LeftCancellativeCompositionSignature 

pub trait LeftCancellativeCompositionSignature: CompositionSignature {
    // Required method
    fn try_left_difference(
        &self,
        a: &Self::Set,
        b: &Self::Set,
    ) -> Option<Self::Set>;
}

When compose(a, x) = compose(a, y) implies x = y for all a, x, y.

Required Methods

fn try_left_difference(&self, a: &Self::Set, b: &Self::Set) -> Option<Self::Set>

Try to find x such that a = compose(b, x).

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 LeftCancellativeCompositionSignature for C2CanonicalStructure

impl LeftCancellativeCompositionSignature for algebraeon_groups::permutation::PermutationCanonicalStructure

impl<S: CancellativeCompositionSignature> LeftCancellativeCompositionSignature for S

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