区间算术 扩展实数集的代数封闭区间系统的实现 描述 interval是一对数字，代表它们之间的所有数字， closed表示边界也包括在表示中， extended real了real number system ，因为real number system扩展了两个元素： -∞和+∞表示负无穷大和正数无穷大。 该实现是的修改端口，修改基于以下论文/演示文稿中的一些准则： 浮点运算 浮点数是一种以近似方式表示实数的方法（由于计算机上存在有限的空间），大多数使用实数的计算将产生无法用分配的空间精