Trait CommutativeMultiplicationSignature 

pub trait CommutativeMultiplicationSignature: MultiplicationSignature { }

When * is commutative.

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 CommutativeMultiplicationSignature for IntegerCanonicalStructure

impl CommutativeMultiplicationSignature for NaturalCanonicalStructure

impl CommutativeMultiplicationSignature for RationalCanonicalStructure

Implementors

impl CommutativeMultiplicationSignature for ConwayFiniteFieldStructure

impl CommutativeMultiplicationSignature for QuaternaryFieldCanonicalStructure

impl CommutativeMultiplicationSignature for ComplexAlgebraicCanonicalStructure

impl CommutativeMultiplicationSignature for PAdicAlgebraicStructure

impl CommutativeMultiplicationSignature for RealAlgebraicCanonicalStructure

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

impl<D: BorrowedSet<Integer>> CommutativeMultiplicationSignature for QuadraticNumberFieldStructure<D>

impl<D: BorrowedSet<Integer>> CommutativeMultiplicationSignature for QuadraticRingOfIntegersStructure<D>

impl<Field: FieldSignature> CommutativeMultiplicationSignature for QuaternionAlgebraStructure<Field>

impl<K: AlgebraicNumberFieldSignature, KB: BorrowedStructure<K>, const MAXIMAL: bool> CommutativeMultiplicationSignature for OrderWithBasis<K, KB, MAXIMAL>

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

impl<Object: UniqueFactorizationMonoidSignature<FactoredExponent = Exponent>, ObjectB: BorrowedStructure<Object>, Exponent: SemiRingSignature + CancellativeAdditionSignature + OrdSignature, ExponentB: BorrowedStructure<Exponent>> CommutativeMultiplicationSignature for FactoringStructure<Object, ObjectB, Exponent, ExponentB>

impl<RS: EuclideanDomainSignature, RSB: BorrowedStructure<RS>, const IS_FIELD: bool> CommutativeMultiplicationSignature for EuclideanRemainderQuotientStructure<RS, RSB, IS_FIELD>

impl<RS: RingEqSignature, RSB: BorrowedStructure<RS>> CommutativeMultiplicationSignature for MultiPolynomialStructure<RS, RSB>

impl<RS: SemiRingEqSignature, RSB: BorrowedStructure<RS>> CommutativeMultiplicationSignature for PolynomialStructure<RS, RSB>

impl<const N: usize> CommutativeMultiplicationSignature for ModuloCanonicalStructure<N>