The slow GaloisImage for unramified extensions of Qp
without cyclotomic or Gaussian normal bases has been reimplemented
for greater speed using modular composition.
New Features:
Given a monic polynomial with coefficients in
Z, it is now
possible to compute a p-adic splitting field.
In a local ring L, with residue field k and ring of integers
OL, the Teichmüller lift of a non-zero element uk is
the unique root of unity
OL of order prime to the
characteristic of k that reduces to u modulo the maximal ideal.
When OL is a fixed precision p-adic quotient ring or unramified
extension of such, there is now a fast implementation of
TeichmuellerLift using the iterative method of Harley.
k is
the unique root of unity
