| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Make EFD a submodule. Remove imported formulas. | J08nY | 2020-12-10 | 83 | -1189/+0 |
| | | |||||
| * | Add random generation of points, speedup computation. | J08nY | 2020-07-01 | 1 | -0/+1 |
| | | |||||
| * | Add unified parameter to formulas that are strongly unified. | J08nY | 2020-02-21 | 24 | -0/+24 |
| | | |||||
| * | Add negation formulas to EFD. | J08nY | 2019-03-21 | 8 | -0/+28 |
| | | |||||
| * | Start EC package, add data from Explicit-Formulas Database. | J08nY | 2019-03-21 | 75 | -0/+1136 |
