Enter a rational number:

Rational is the Head for rational numbers:

Enter a rational number with very big integers in the numerator and denominator:

Rational numbers are represented with the smallest possible positive denominator:

The FullForm of a rational number is Rational[numerator,denominator]:

Enter a rational using the FullForm:

You have to use Numerator and Denominator to extract parts of Rational numbers:

Part does not work:

The pattern object _Rational can be used to stand for a rational number:

It cannot stand for a single integer:

A rule that replaces all rationals with their reciprocals:

An alternate way to write the rule:

Define a function that only applies to rational numbers:

This is a close approximation to :

An alternative definition of the function:

Rationals are numbers:

Rationals are atomic objects with no subexpressions:

Rationals are exact numbers:

Denominator of a rational is positive:

Numerator and Denominator of a rational are relatively prime:

Use Rationals to indicate assumptions and domain conditions: