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 |