Movatterモバイル変換

Class Precedence List:

rational,real,number,t

Description:

The canonical representation of arational is as aninteger if its value is integral, and otherwise as aratio.

Thetypesinteger andratio aredisjointsubtypes oftyperational.

Compound Type Specifier Kind:

Abbreviating.

Compound Type Specifier Syntax:

rational[lower-limit[upper-limit]]

Compound Type Specifier Arguments:

lower-limit,upper-limit---interval designators fortyperational. The defaults for each oflower-limit andupper-limit is thesymbol*.

Compound Type Specifier Description:

This denotes therationals on the interval described bylower-limit andupper-limit.

• REAL-NUMBER-TYPE:X3J13-MAR-89