(Semiring Integer, Additive (Log r), Division r) => RightModule Integer (Log r) | |
(Semiring Natural, Additive (Log r), Unital r) => RightModule Natural (Log r) | |
(Semiring Integer, Additive (Log r), Division r) => LeftModule Integer (Log r) | |
(Semiring Natural, Additive (Log r), Unital r) => LeftModule Natural (Log r) | |
(Additive (Log r), Band r) => Idempotent (Log r) | |
(Additive (Log r), Commutative r) => Abelian (Log r) | |
(Additive (Log r), Factorable r) => Partitionable (Log r) | |
Multiplicative r => Additive (Log r) | |
(LeftModule Natural (Log r), RightModule Natural (Log r), Unital r) => Monoidal (Log r) | |
(LeftModule Integer (Log r), RightModule Integer (Log r), Monoidal (Log r), Division r) => Group (Log r) | |