System for exact arithmetic computation including quadratic extensions

摘要

An arithmetic processor for a digital data processing system, and methods of operating same, employing a Truncated Dyadic Arithmetic (TDA) number representation for implementing exact equality testing of the results of rational arithmetic computations. The arithmetic processor includes circuitry for receiving a digital representation of a number, a register for storing the received number in a truncated dyadic arithmetic representation, including a mantissa field having m bits and an order field having o bits. A modulo field associated with each number is also stored or otherwise maintained. The arithmetic processor further includes circuitry for operating on the stored number in accordance with one or more arithmetic operations, including addition, subtraction, division, multiplication and square root, to obtain a result that is expressed in the truncated dyadic arithmetic representation. Additional circuitry compares the result to another result obtained from another truncated dyadic arithmetic operation.