diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-05-09 20:18:02 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-05-09 20:18:02 -0400 |
| commit | ee74b50cb4ccf6c0e4f6b7573a3a5c099ec621e1 (patch) | |
| tree | c96cdba7354218ef8231603e390c925c75597a40 /to_gallina.md | |
| parent | 728b2f95dc83329c58aef7624283cb945c77b919 (diff) | |
Implemented subtraction mod q as as (sub a b = sub (add a (2*q)) b) to avoid unsigned integer underflow. Also changed rep in Specific proofs so that it is PseudoMersenneBaseRep.rep rather than ModularBaseSystem.rep; these are equivalent but the first is the abstraction level we want.
Diffstat (limited to 'to_gallina.md')
0 files changed, 0 insertions, 0 deletions