Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Reimplement `gcdExtInteger` (#9281) | Herbert Valerio Riedel | 2014-11-29 | 2 | -0/+49 |
* | Re-implement `recipModInteger` (#9281) | Herbert Valerio Riedel | 2014-11-29 | 2 | -0/+51 |
* | Re-implement `powModInteger` (#9281) | Herbert Valerio Riedel | 2014-11-29 | 2 | -0/+125 |
* | Re-implement `nextPrimeInteger` predicate (#9281) | Herbert Valerio Riedel | 2014-11-28 | 2 | -0/+44 |
* | Re-implement `testPrimeInteger` predicate (#9281) | Herbert Valerio Riedel | 2014-11-28 | 1 | -0/+43 |
* | integer-gmp2: export `Word`-counterpart of gcdInt | Herbert Valerio Riedel | 2014-11-22 | 2 | -1/+9 |
* | Implement `Natural` number type (re #9818) | Herbert Valerio Riedel | 2014-11-22 | 2 | -0/+2 |
* | Reimplement im/export primitives for integer-gmp2 | Herbert Valerio Riedel | 2014-11-19 | 2 | -0/+253 |
* | 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 | 5 | -0/+2053 |