Trait TryInverseSignature 

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

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

Required Methods

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

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

Note, whenever try_inverse returns Some, try_left_inverse and try_right_inverse must also return the same value. Also, whenever try_left_inverse and try_right_inverse both return a value, it must be the same value an try_inverse must also return that same value.

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

impl TryInverseSignature for algebraeon_groups::permutation::PermutationCanonicalStructure

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