Trait SemiModuleSignature 

pub trait SemiModuleSignature<Ring: SemiRingSignature>: AdditiveMonoidSignature {
    // Required methods
    fn ring(&self) -> &Ring;
    fn scalar_mul(&self, a: &Self::Set, x: &Ring::Set) -> Self::Set;
}

Required Methods

fn ring(&self) -> &Ring

fn scalar_mul(&self, a: &Self::Set, x: &Ring::Set) -> Self::Set

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<'h, Domain: RingSignature, Range: RingSignature, Hom: RingHomomorphism<Domain, Range>> SemiModuleSignature<Domain> for RingHomomorphismRangeModuleStructure<'h, Domain, Range, Hom>

impl<ANF: AlgebraicNumberFieldSignature> SemiModuleSignature<IntegerCanonicalStructure> for QuaternionOrderZBasis<ANF>

impl<D: BorrowedSet<Integer>> SemiModuleSignature<RationalCanonicalStructure> for QuadraticNumberFieldStructure<D>

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

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

impl<Ring: RingSignature, RingB: BorrowedStructure<Ring>> SemiModuleSignature<Ring> for FinitelyFreeModuleStructure<Ring, RingB>

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: SemiRingSignature + EqSignature, RingB: BorrowedStructure<Ring>> SemiModuleSignature<Ring> for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>