R. Böffgen M. A. Reichert Computing the Decomposition of Primes p and p-adic Absolute Values in Semi-simple Algebras over Q. 3-10 1987 4 J. Symb. Comput. 1 db/journals/jsc/jsc4.html#BoffgenR87