QQi -- the class of all rational intervals

Description

This class is similar to the class of real intervals, except that the boundaries are arbitrary precision rational numbers.

Caveat

Currently this class is not implemented in the interpreter, which means rings or matrices over rational intervals are not supported, and many functionalities of RRi are not yet available.

Methods that use a rational interval:

diameter(QQi) (missing documentation)
interval(QQi) (missing documentation)
lift(QQi,type of Number) (missing documentation)
Number == QQi (missing documentation)
precision(QQi) (missing documentation)
promote(Number,type of QQi) (missing documentation)
QQi == Number (missing documentation)
ring(QQi) (missing documentation)

For the programmer

The object QQi is a ring, with ancestor classes List < VisibleList < BasicList < Thing.