Merge ab46e1f into 9de3b38

thofma · Sep 21, 2023 · aca033b · aca033b
2 parents 9de3b38 + ab46e1f
commit aca033b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/LocalField/Elem.jl b/src/LocalField/Elem.jl
@@ -693,7 +693,9 @@ function Base.:(^)(a::LocalFieldElem, n::Int)
   e = absolute_ramification_index(parent(a))
   v = valuation(n, prime(parent(a)))
   if v > 0
-    b = setprecision(a.data, precision(a.data)+v)
+    b = setprecision(base_ring(a.data), precision(a.data)+v) do
+            setprecision(a.data, precision(a.data)+v)
+        end
   else
     b = a.data
   end

diff --git a/src/LocalField/Types.jl b/src/LocalField/Types.jl
@@ -3,7 +3,7 @@ abstract type EisensteinLocalField <: LocalFieldParameter end
 abstract type UnramifiedLocalField <: LocalFieldParameter end
 abstract type GenericLocalField <: LocalFieldParameter end
 
-mutable struct LocalField{S, T} <: NonArchLocalField
+@attributes mutable struct LocalField{S, T} <: NonArchLocalField
   def_poly::Function #Int -> Poly at prec n
   def_poly_cache::Dict{Int, Generic.Poly{S}}
   S::Symbol