1 files changed, 218 insertions, 0 deletions
diff --git a/src/rationals.ads b/src/rationals.ads
new file mode 100644
index 0000000..03ac95e
--- /dev/null
+++ b/src/rationals.ads
@@ -0,0 +1,218 @@
+
+
+package Rationals is
+
+
+    type Fraction is private;
+
+
+
+
+    function "+"
+           (Left, Right : in Fraction)
+        return Fraction;
+
+    function "+"
+           (Left  : in Fraction;
+            Right : in Integer)
+        return Fraction;
+
+    function "+"
+           (Left  : in Integer;
+            Right : in Fraction)
+        return Fraction;
+
+
+
+
+    function "-"
+           (Left, Right : in Fraction)
+        return Fraction;
+
+    function "-"
+           (Left  : in Fraction;
+            Right : in Integer)
+        return Fraction;
+
+    function "-"
+           (Left  : in Integer;
+            Right : in Fraction)
+        return Fraction;
+
+
+
+
+    function "-"
+           (Right : in Fraction)
+        return Fraction;
+
+
+
+
+    function "*"
+           (Left, Right : in Fraction)
+        return Fraction;
+
+    function "*"
+           (Left  : in Fraction;
+            Right : in Integer)
+        return Fraction;
+
+    function "*"
+           (Left  : in Integer;
+            Right : in Fraction)
+        return Fraction;
+
+
+
+
+    function "/"
+           (Left, Right : in Fraction)
+        return Fraction;
+
+    function "/"
+           (Left  : in Fraction;
+            Right : in Integer)
+        return Fraction;
+
+    function "/"
+           (Left  : in Integer;
+            Right : in Fraction)
+        return Fraction;
+
+    function "/"
+           (Left, Right : in Integer)
+        return Fraction;
+
+
+
+
+    function "="
+           (Left, Right : in Fraction)
+        return Boolean;
+
+    function "="
+           (Left  : in Fraction;
+            Right : in Integer)
+        return Boolean;
+
+    function "="
+           (Left  : in Integer;
+            Right : in Fraction)
+        return Boolean;
+
+
+
+
+    function "<="
+           (Left, Right : in Fraction)
+        return Boolean;
+
+    function "<="
+           (Left  : in Fraction;
+            Right : in Integer)
+        return Boolean;
+
+    function "<="
+           (Left  : in Integer;
+            Right : in Fraction)
+        return Boolean;
+
+
+
+
+    function "<"
+           (Left, Right : in Fraction)
+        return Boolean;
+
+    function "<"
+           (Left  : in Fraction;
+            Right : in Integer)
+        return Boolean;
+
+    function "<"
+           (Left  : in Integer;
+            Right : in Fraction)
+        return Boolean;
+
+
+
+
+    function ">="
+           (Left, Right : in Fraction)
+        return Boolean;
+
+    function ">="
+           (Left  : in Fraction;
+            Right : in Integer)
+        return Boolean;
+
+    function ">="
+           (Left  : in Integer;
+            Right : in Fraction)
+        return Boolean;
+
+
+
+
+    function ">"
+           (Left, Right : in Fraction)
+        return Boolean;
+
+    function ">"
+           (Left  : in Fraction;
+            Right : in Integer)
+        return Boolean;
+
+    function ">"
+           (Left  : in Integer;
+            Right : in Fraction)
+        return Boolean;
+
+
+
+
+    function Numerator
+           (Item : in Fraction)
+        return Integer;
+
+    function Denominator
+           (Item : in Fraction)
+        return Integer;
+
+    function Floor
+           (Item : in Fraction)
+        return Integer;
+
+    function Ceiling
+           (Item : in Fraction)
+        return Integer;
+
+    function Round
+           (Item : in Fraction)
+        return Integer;
+
+
+
+
+    function Image
+           (Item : in Fraction)
+        return String;
+
+    function Value
+           (Item : in String)
+        return Fraction;
+
+
+private
+
+
+    type Fraction is record
+        Num : Integer := 0;
+        Den : Integer := 1;
+    end record;
+
+
+end Rationals;
+
+