有理数作为一个抽象数据类型
有理数 (数字在形式a/b可以被写的a和b整数,并且b不零)在计算机不能当地代表。 合理的ADT能被定义如所示下面。
建筑: 使用二个整数, a和b创造一个有理数ADT的事例, a代表分子,并且b代表分母。
操作: 加法,减法,增殖,分裂,取幂,比较,简化,转换向一个真正的(浮动小数点)数字。
要是一个完全规格,应该定义所有操作根据数据。 例如,当倍增二有理数a/b和c/d,结果是定义和(c)时/(b d)。 一般,输入、产品、首要条件、postconditions和假定为ADT指定。