Clean up LocalFieldValuationRing a bit (#1540)

thofma · Jun 12, 2024 · 1c99589 · 1c99589
1 parent a12d236
commit 1c99589
Show file tree

Hide file tree

Showing 6 changed files with 313 additions and 118 deletions.
diff --git a/src/LocalField/Elem.jl b/src/LocalField/Elem.jl
@@ -244,7 +244,7 @@ function zero(K::LocalField; precision=precision(K))
   return setprecision(K(a), precision)
 end
 
-(K::LocalField)() = zero(K)
+(K::LocalField)(; precision=precision(K)) = zero(K, precision = precision)
 
 function one(K::LocalField; precision=precision(K))
   a = one(parent(defining_polynomial(K)))

diff --git a/src/LocalField/LocalField.jl b/src/LocalField/LocalField.jl
@@ -5,18 +5,21 @@
 ################################################################################
 
 function show(io::IO, a::LocalField{S, EisensteinLocalField}) where S
-  print(io, "Eisenstein extension with defining polynomial ", defining_polynomial(a))
-  print(io, " over ", base_field(a))
+  io = pretty(io)
+  print(io, LowercaseOff(), "Eisenstein extension with defining polynomial ", defining_polynomial(a))
+  print(io, " over ", Lowercase(), base_field(a))
 end
 
 function show(io::IO, a::LocalField{S, UnramifiedLocalField}) where S
+  io = pretty(io)
   print(io, "Unramified extension with defining polynomial ", defining_polynomial(a))
-  print(io, " over ", base_field(a))
+  print(io, " over ", Lowercase(), base_field(a))
 end
 
 function show(io::IO, a::LocalField{S, GenericLocalField}) where S
+  io = pretty(io)
   print(io, "Extension with defining polynomial ", defining_polynomial(a))
-  print(io, " over ", base_field(a))
+  print(io, " over ", Lowercase(), base_field(a))
 end
 
 ################################################################################