Trait RightDistributiveMultiplicationOverAddition 

pub trait RightDistributiveMultiplicationOverAddition: AdditionSignature + MultiplicationSignature { }

When (a + b)*c = a*c + b*c.

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

impl RightDistributiveMultiplicationOverAddition for NaturalCanonicalStructure

impl RightDistributiveMultiplicationOverAddition for RationalCanonicalStructure

Implementors

impl RightDistributiveMultiplicationOverAddition for ConwayFiniteFieldStructure

impl RightDistributiveMultiplicationOverAddition for QuaternaryFieldCanonicalStructure

impl RightDistributiveMultiplicationOverAddition for ComplexAlgebraicCanonicalStructure

impl RightDistributiveMultiplicationOverAddition for PAdicAlgebraicStructure

impl RightDistributiveMultiplicationOverAddition for RealAlgebraicCanonicalStructure

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

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

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

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

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

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

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

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

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

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