User Tools


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

Link to this comparison view

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]]**
 +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====
 +====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//​. ​