diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-07-20 17:08:00 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-07-20 17:08:00 -0400 |
| commit | 55e6291f60ff65fa484a7bad1806adcf4be78cf1 (patch) | |
| tree | 921358486cbc65abcd80d08fa858f29a6cbc6e3b /src/ModularArithmetic/ModularBaseSystemList.v | |
| parent | 4ea92779f54a7f6a49e334cd6071096be57c40ca (diff) | |
| parent | 4fbf246cb392496e676e314c11bc2962d37caad7 (diff) | |
merge
Diffstat (limited to 'src/ModularArithmetic/ModularBaseSystemList.v')
| -rw-r--r-- | src/ModularArithmetic/ModularBaseSystemList.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ModularArithmetic/ModularBaseSystemList.v b/src/ModularArithmetic/ModularBaseSystemList.v index 6a5a30429..07b2c2bac 100644 --- a/src/ModularArithmetic/ModularBaseSystemList.v +++ b/src/ModularArithmetic/ModularBaseSystemList.v @@ -26,7 +26,7 @@ Section Defs. let wrap := map (Z.mul c) high in BaseSystem.add low wrap. - Definition mul (us vs : digits) := reduce (BaseSystem.mul ext_base us vs). + Definition mul (us vs : digits) := reduce (BaseSystem.mul (ext_base limb_widths) us vs). (* In order to subtract without underflowing, we add a multiple of the modulus first. *) Definition sub (us vs : digits) := BaseSystem.sub (add modulus_multiple us) vs. |