Trait Module

pub trait Module: RigModule<Rig = Self::Ring> + AbGroup {
    type Ring: CommRing;
}

A module over a commutative ring.

Required Associated Types

type Ring: CommRing

Base ring for the module.

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<Var, Coef> Module for Combination<Var, Coef>

where Var: Ord, Coef: Clone + Default + CommRing,

type Ring = Coef

impl<Var, Coef, Exp> Module for Polynomial<Var, Coef, Exp>

where Var: Ord, Coef: Clone + Default + CommRing, Exp: Ord,

type Ring = Coef