Ich denke, daß das p-adische Newtonverfahren sehr schnell konvergiert, man also um mehr als pro Schritt erhöhen kann. Man kann aber dessen Verarbeitungsschritte übernehmen und einfach modulo für hinreichend hohes durchführen und zeigen, daß das zum gewünschten Ergebnis führt. Die p-adische Theorie kann man also trotzdem ausklammern.-- Karl Brodowsky 17:02, 22. Jan. 2012 (CET)