P-adischen Logarithmus implementiert