Copyright  (c) The University of Glasgow 2001 

License  (c) The University of Glasgow 2001 
Maintainer  libraries@haskell.org 
Stability  stable 
Portability  portable 
Safe Haskell  Safe 
Standard functions on rational numbers
Documentation
Rational numbers, with numerator and denominator of some Integral
type.
Typeable1 Ratio  
Integral a => Enum (Ratio a)  
Eq a => Eq (Ratio a)  
Integral a => Fractional (Ratio a)  
(Data a, Integral a) => Data (Ratio a)  
Integral a => Num (Ratio a)  
Integral a => Ord (Ratio a)  
(Integral a, Read a) => Read (Ratio a)  
Integral a => Real (Ratio a)  
Integral a => RealFrac (Ratio a)  
(Integral a, Show a) => Show (Ratio a)  
Typeable (* > *) Ratio 
numerator :: Integral a => Ratio a > aSource
Extract the numerator of the ratio in reduced form: the numerator and denominator have no common factor and the denominator is positive.
denominator :: Integral a => Ratio a > aSource
Extract the denominator of the ratio in reduced form: the numerator and denominator have no common factor and the denominator is positive.
approxRational :: RealFrac a => a > a > RationalSource
approxRational
, applied to two real fractional numbers x
and epsilon
,
returns the simplest rational number within epsilon
of x
.
A rational number y
is said to be simpler than another y'
if

, andabs
(numerator
y) <=abs
(numerator
y') 
.denominator
y <=denominator
y'
Any real interval contains a unique simplest rational;
in particular, note that 0/1
is the simplest rational of all.