Residue arithmetic with rational operands

Abstract

A method is described for doing residue arithmetic when the operands are rational numbers. A rational operand a/b is mapped onto the integer |a·b⁻¹|p and the arithmetic is performed in GF(p). A method is given for taking an integer result and finding its rational equivalent (the one which corresponds to the correct rational result).