From 2b8b55de4a18757e8d6769e458c84f7c1df1e261 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Mon, 13 Feb 2017 18:27:13 +1100
Subject: Swapped out crypto package for something smaller, revised other code
 and readme/notes slightly

---
 src/multi_precision_integers-check.ads | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 src/multi_precision_integers-check.ads

(limited to 'src/multi_precision_integers-check.ads')

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;
-- 
cgit