Module fructose::algebra::ring [−][src]
Traits
BezoutDomain | |
BezoutSemidomain | |
CommutativeRing | Addition: Ring Multiplication: Ring + Commutativity |
CommutativeSemiring | |
DivisionRing | Addition: Ring Multiplication: Ring + Commutativity + Invertibility |
Domain | |
EuclideanDomain | |
EuclideanSemidomain | |
GCDDomain | |
GCDSemidomain | |
IntegerRing | |
IntegralDomain | |
IntegralSemidomain | |
NaturalCommutativeSemiring | |
NearRing | Addition: Ring - Inverse - Commutativity Multiplication: Semiring - Identity |
PIDDomain | |
PIDSemidomain | |
Ring | Addition: AbelianGroup Multiplication: Associative + Identity => Monoid |
Semidomain | |
Semiring | Addition: Ring - Inverse Multiplication: Ring |
UFDDomain | |
UFDSemidomain |