|
NTLib - Number Theory Library 0.9
|
| Nntlib | |
| RHasAdditiveNeutral | Restricts to types with an additive neutral element |
| RHasMultiplicativeNeutral | Restricts to types with a multiplicative neutral element |
| RAdditiveSemigroup | Restricts to types modeling an additive semigroup |
| RMultiplicativeSemigroup | Restricts to types modeling a multiplication semigroup |
| RAdditiveMonoid | Restricts to types modeling an additive monoid |
| RMultiplicativeMonoid | Restricts to types modeling a multiplicative monoid |
| RHasAdditiveInverses | |
| RHasMultiplicativeInverses | Restricts to types with multiplicative inverse elements |
| RAdditiveGroup | Restricts to types modeling an additive group |
| RMultiplicativeGroup | Restricts to types modeling a multiplicative group |
| RIsAdditiveCommutative | Restricts to types with a commutative addition operation |
| RIsMultiplicativeCommutative | Restricts to types with a commutative multiplication operation |
| RAdditiveCommutativeGroup | Restricts to types modeling an additive commutative group |
| RMultiplicativeCommutativeGroup | Restricts to types modeling a multiplicative commutative group |
| RRing | Restricts to types modeling a ring |
| RCommutativeRing | Restricts to types modeling a commutative ring |
| RField | Restricts to types modeling a field |
| RHasDivisionWithRemainder | Restricts to types supporting division with remainder |
| RInteger | Restricts to types modeling the integers |
| RInt128 | Concept for signed and unsigned NTLib 128 bit integers |
| RModIntAddable | Concept to ensure that no overflow can occur during addition or subtraction |
| RModIntMultiplicable | Concept to ensure that no overflow can occur during multiplication |
| RHasAdditiveInverse | Restricts to types with additive inverse elements |