We simplify and improve our techniques of the association of long inte
gers with polynomials for computations in the ring of integers and app
ly these techniques to the computation of the signs of matrix determin
ants, Sturm sequences, and other algebraic and geometric predicates. (
C) 1998 Elsevier Science Ltd. All rights reserved.