関数 ithrational は、下記の最初の式のように、i 番目の可能な有理数を生成します。つまりこの関数は、不連続の列にあるすべての正の有理数を生成します。

有理数の順序は ithrational(2^(i-1)) = 1/i および ithrational(2^i-1) = i の条件を満たします。

with(numtheory,ithrational) コマンドによって、このコマンドの省略形が使用できます。