algebra.ring.Rig
See theRig companion object
Rig consists of:
- a commutative monoid for addition (+)
- a monoid for multiplication (*)
Alternately, a Rig can be thought of as a ring without multiplicative or additive inverses (or as a semiring with a multiplicative identity).
Mnemonic: "Rig is a Ring without 'N'egation."
Attributes
- Companion:
- object
- Source:
- Rig.scala
- Graph
- Supertypes
- trait MultiplicativeMonoid[A]trait Semiring[A]trait MultiplicativeSemigroup[A]trait AdditiveCommutativeMonoid[A]trait AdditiveCommutativeSemigroup[A]trait AdditiveMonoid[A]trait AdditiveSemigroup[A]trait Serializableclass Any
- Known subtypes
- trait CommutativeRig[A]class BooleanAlgebratrait CommutativeRing[A]class ByteAlgebraclass IntAlgebraclass LongAlgebraclass ShortAlgebraclass UnitAlgebratrait BoolRing[A]class BoolRingFromBool[A]trait GCDRing[A]trait EuclideanRing[A]class BigIntAlgebraclass BigIntTruncatedDivisontrait Field[A]class BigDecimalAlgebraclass DoubleAlgebraclass FloatAlgebratrait forCommutativeRing[A]trait CommutativeSemifield[A]trait Ring[A]trait DivisionRing[A]trait Semifield[A]