# Differences

This shows you the differences between two versions of the page.

 — cl:types:rational [2017/05/01 21:00] (current) Line 1: Line 1: + ====== System Class RATIONAL ====== + + ====Class Precedence List==== ​ + **rational**,​ **[[CL:​Types:​real]]**,​ **[[CL:​Types:​number]]**,​ **[[CL:​Types:​t]]** + + ====Description==== + The canonical representation of a //​[[CL:​Glossary:​rational]]//​ is as an //​[[CL:​Glossary:​integer]]//​ if its value is integral, and otherwise as a //​[[CL:​Glossary:​ratio]]//​. + + The //​[[CL:​Glossary:​type|types]]//​ **[[CL:​Types:​integer]]** and **[[CL:​Types:​ratio]]** are //​[[CL:​Glossary:​disjoint]]//​ subtypes of **rational**. + + ====Compound Type Specifier Kind==== + Abbreviating. + + ====Compound Type Specifier Syntax==== + * **rational** [//​lower-limit//​ [//​upper-limit//​]] + + ====Compound Type Specifier Arguments==== + * //​lower-limit//,​ //​upper-limit//​ - //​[[CL:​Glossary:​interval designator|interval designators]]//​ for //​[[CL:​Glossary:​type]]//​ **[[CL:​Types:​rational]]**. The defaults for each of //​lower-limit//​ and //​upper-limit//​ is the //​[[CL:​Glossary:​symbol]]//​ **[[CL:​Types:​wildcard|*]]**. + + ====Compound Type Specifier Description==== + This denotes the //​[[CL:​Glossary:​rational|rationals]]//​ on the interval described by //​lower-limit//​ and //​upper-limit//​. ​ + + \issue{REAL-NUMBER-TYPE:​X3J13-MAR-89}