Trait RightCancellativeCompositionSignature 

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

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

Required Methods

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

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

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

impl RightCancellativeCompositionSignature for algebraeon_groups::permutation::PermutationCanonicalStructure

impl<S: CancellativeCompositionSignature> RightCancellativeCompositionSignature for S

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