Computation in a finite field using rational operands

A method is presented for using residue arithmetic in a finite field for doing error-free computation when the operands are rational numbers.

Rational operands are mapped onto integers in the finite field (I_p, +, •). Multiple-precision integer computation is performed in that field. An algorithm is described for mapping an integer result onto its correct rational equivalent.