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.