Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Call `popCountBigNat` directly (#9818) | Herbert Valerio Riedel | 2014-11-22 | 1 | -1/+1 |
* | Implement {gcd,lcm}/Natural optimisation (#9818) | Herbert Valerio Riedel | 2014-11-22 | 1 | -0/+27 |
* | Fix `fromInteger` constructing invalid `Natural` | Herbert Valerio Riedel | 2014-11-22 | 1 | -1/+1 |
* | Add `isValidNatural` predicate (#9818) | Herbert Valerio Riedel | 2014-11-22 | 1 | -0/+21 |
* | Implement `Natural` number type (re #9818) | Herbert Valerio Riedel | 2014-11-22 | 1 | -0/+542 |