diff options
| author |  Jade Philipoom <jadep@google.com> | 2018-03-08 17:05:24 +0100 |
|---|---|---|
| committer |  jadephilipoom <jade.philipoom@gmail.com> | 2018-04-03 09:00:55 -0400 |
| commit | 209242534fa7c991d748079c5af5b182b38342ac (patch) | |
| tree | 375eb13d3dae9ddadfa432337a69b1705d2e85af /coqprime | |
| parent | eddee83789834869f2b1918154a71ad982a24aac (diff) | |
make montgomery not depend on intermediate weight for multiplication being the sqrt of the usual weight
Diffstat (limited to 'coqprime')
0 files changed, 0 insertions, 0 deletions