Trait LeftDistributiveMultiplicationOverAddition 

pub trait LeftDistributiveMultiplicationOverAddition: AdditionSignature + MultiplicationSignature { }

When a*(b + c) = a*b + a*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 LeftDistributiveMultiplicationOverAddition for IntegerCanonicalStructure

impl LeftDistributiveMultiplicationOverAddition for NaturalCanonicalStructure

impl LeftDistributiveMultiplicationOverAddition for RationalCanonicalStructure

Implementors

impl LeftDistributiveMultiplicationOverAddition for ConwayFiniteFieldStructure

impl LeftDistributiveMultiplicationOverAddition for QuaternaryFieldCanonicalStructure

impl LeftDistributiveMultiplicationOverAddition for ComplexAlgebraicCanonicalStructure

impl LeftDistributiveMultiplicationOverAddition for PAdicAlgebraicStructure

impl LeftDistributiveMultiplicationOverAddition for RealAlgebraicCanonicalStructure

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

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

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

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

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

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

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

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

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

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