pub trait Module: AbstractModule<AbstractRing = Self::Ring> + AdditiveGroupAbelian + ClosedMul<Self::Ring> {
type Ring: RingCommutative;
}
Expand description
A module which overloads the *
and +
operators.
Required Associated Types§
sourcetype Ring: RingCommutative
type Ring: RingCommutative
The underlying scalar field.
Object Safety§
This trait is not object safe.