Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Reimplement `gcdExtInteger` (#9281) | Herbert Valerio Riedel | 2014-11-29 | 1 | -0/+48 |
* | Re-implement `recipModInteger` (#9281) | Herbert Valerio Riedel | 2014-11-29 | 1 | -0/+47 |
* | Re-implement `powModInteger` (#9281) | Herbert Valerio Riedel | 2014-11-29 | 1 | -0/+120 |
* | Re-implement `nextPrimeInteger` predicate (#9281) | Herbert Valerio Riedel | 2014-11-28 | 1 | -0/+17 |
* | integer-gmp2: export `Word`-counterpart of gcdInt | Herbert Valerio Riedel | 2014-11-22 | 1 | -1/+8 |
* | Implement `Natural` number type (re #9818) | Herbert Valerio Riedel | 2014-11-22 | 1 | -0/+1 |
* | Reimplement im/export primitives for integer-gmp2 | Herbert Valerio Riedel | 2014-11-19 | 1 | -0/+99 |
* | Fix compilation of `integer-gmp2` with `-O0` | Herbert Valerio Riedel | 2014-11-15 | 1 | -2/+2 |
* | Implement new integer-gmp2 from scratch (re #9281) | Herbert Valerio Riedel | 2014-11-12 | 1 | -0/+1663 |