About p-th root of unity in \bar Q_p [closed]
asked 2017-02-12 20:35:06 -0600
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] .
Thank you in advance!