Added padic teichmuller function.