Simon Brandhorst

For the record, another bug in the ramified case: ``` Qx, x = QQ["x"]; f = x^9 - 828*x^7 - 4371*x^6 + 226071*x^5 + 2371023*x^4 - 14243253*x^3 - 318645900*x^2 -...

We can go a bit further and create an error ``` julia> k = PadicField(29,2) Field of 29-adic numbers julia> A = k[29^2 29 1; 29 1 0; 1 0...

I guess in my case I want to call a division free algorithm ... but AA sees the padics as a field.

``` julia> AbstractAlgebra._solve_ff(A,b) ERROR: System not solvable in _solve_ff ```

@fieker interesting, I wasn't aware of `maximal_order` to give the ring of p-adic integers. However after conversion, I still get precision loss in my examples. I think I will just...

Thank you! (Edit: The example works now, it seems that revise did not update the type definition)

This seems to work for unramified extensions, but for ramified ones not. And there is another bug for `setprecision!` documented as a broken test @joschmitt