Code by Brian Sinclair for factoring p-adic polynomials