Trait TryRightInverseSignature 

pub trait TryRightInverseSignature: IdentitySignature + CompositionSignature {
    // Required method
    fn try_right_inverse(&self, a: &Self::Set) -> Option<Self::Set>;
}

When the solution to compose(a, x) = e for x given a is unique whenever it exists.

Required Methods

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

Return x such that compose(a, x) = e or None if no such x exists.

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

impl TryRightInverseSignature for algebraeon_groups::permutation::PermutationCanonicalStructure

impl<S: TryInverseSignature + CommutativeCompositionSignature> TryRightInverseSignature for S

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