A technical report describing MAPC is given below. The paper is
MAPC: A library for Efficient and Exact Manipulation of
Algebraic Points and Curves.
J. Keyser, T. Culver, D. Manocha, S. Krishnan. Technical Report TR98-038,
Department of Computer Science, University of N. Carolina, Chapel Hill.