ramified extension of Qp

asked
2017-02-12 21:52:01 -0500

This post is a wiki.
Anyone with karma >750 is welcome to improve it.

I am wondering if anyone knows
1. How to define Q_p[\mu_p] in sage, where \mu_p is a primitive p-th root of unity in \bar Q_p.
2. How to write b=\mu_p.
3. Solve a quadratic equation x^2+a_1x+a_2=0, where a_1 and a_2 are both in Q_p[\mu_p].
4. Is log function defined on Q_p[\mu_p] .