diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2017-02-13 18:27:13 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2017-02-13 18:27:13 +1100 |
| commit | 2b8b55de4a18757e8d6769e458c84f7c1df1e261 (patch) | |
| tree | cbd62219babccc04e57fa7708f88385a7f6413d3 /src/multi_precision_integers-check.ads | |
| parent | 2b842cb65ce29071d5786bdecc834c026d1f2db2 (diff) | |
Swapped out crypto package for something smaller, revised other code and readme/notes slightly
Diffstat (limited to 'src/multi_precision_integers-check.ads')
| -rw-r--r-- | src/multi_precision_integers-check.ads | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/multi_precision_integers-check.ads b/src/multi_precision_integers-check.ads new file mode 100644 index 0000000..60895ea --- /dev/null +++ b/src/multi_precision_integers-check.ads @@ -0,0 +1,12 @@ +package Multi_precision_integers.Check is
+
+ -- check integrity
+ procedure Test (m: Multi_int; test_last: Boolean:= True );
+
+ -- i3 must be = i1 * i2
+ procedure Check_Multiplication (i1, i2,i3: in Multi_int);
+
+ -- i1 must be = i2 * q + r
+ procedure Check_Div_Rem (i1, i2,q,r: in Multi_int);
+
+end Multi_precision_integers.Check;
|