--
-- Simple test driver for the Rational_Number package.
--
with Gnat.Io; use Gnat.Io;
with Rational_Number; use Rational_Number;
procedure RatTest is
R: Rational := To_Rational(6, 15);
R2: Rational := To_Rational(2);
R3: Rational;
begin
R3 := To_Rational(5,7) * (To_Rational(4,9) + R) / R2;
Put("The answer is: ");
Put(R3);
New_Line;
if R3 = To_Rational(65, 112) then
Put_Line("Yes");
else
Put_Line("No");
end if;
if R3 = To_Rational(114,378) then
Put_Line("Yes");
else
Put_Line("No");
end if;
end RatTest;