diff options
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;
|