Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I've thought of this and it doesn't help me answer the second part of the question; This is because $v_L(Log(1+\pi_L^j))$ is difficult to deduce if $v_L(\pi_L^j) = v_L(1-r)$ for some $r\in\mu_{p^\infty}.$ (in all other cases this value can be calculated using the newton copolygon). This makes finding gererators for Log(1+m_K) hard for an arbitary extension L.