Trait FavoriteAssociateSignature 

pub trait FavoriteAssociateSignature: TryReciprocalSignature + EqSignature {
    // Required method
    fn factor_fav_assoc(&self, a: &Self::Set) -> (Self::Set, Self::Set);

    // Provided methods
    fn fav_assoc(&self, a: &Self::Set) -> Self::Set { ... }
    fn is_fav_assoc(&self, a: &Self::Set) -> bool { ... }
}

Required Methods

fn factor_fav_assoc(&self, a: &Self::Set) -> (Self::Set, Self::Set)

Provided Methods

fn fav_assoc(&self, a: &Self::Set) -> Self::Set

fn is_fav_assoc(&self, a: &Self::Set) -> bool

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.

Implementations on Foreign Types

impl FavoriteAssociateSignature for IntegerCanonicalStructure

fn factor_fav_assoc(&self, a: &Self::Set) -> (Self::Set, Self::Set)

impl FavoriteAssociateSignature for NaturalCanonicalStructure

fn factor_fav_assoc(&self, a: &Self::Set) -> (Self::Set, Self::Set)

Implementors

impl<B: BorrowedStructure<IntegerCanonicalStructure>> FavoriteAssociateSignature for IntegerIdealsStructure<B>

impl<FS: FieldSignature> FavoriteAssociateSignature for FS

impl<K: AlgebraicNumberFieldSignature, KB: BorrowedStructure<K>, const MAXIMAL: bool, OB: BorrowedStructure<OrderWithBasis<K, KB, MAXIMAL>>> FavoriteAssociateSignature for OrderIdealsStructure<K, KB, MAXIMAL, OB>

impl<RS: FavoriteAssociateSignature + IntegralDomainSignature, RSB: BorrowedStructure<RS>> FavoriteAssociateSignature for MultiPolynomialStructure<RS, RSB>

impl<RS: FavoriteAssociateSignature + IntegralDomainSignature, RSB: BorrowedStructure<RS>> FavoriteAssociateSignature for PolynomialStructure<RS, RSB>