p-adic arithmetic and Parallel Symbolic Computation an implementation for solving linear systems.pdf