Use Lowercase in some show methods

README.md

@@ -86,7 +86,7 @@ julia> K, a = number_field(f, "a");
 julia> O = maximal_order(K);
 
 julia> O
-Maximal order of Number field of degree 3 over QQ
+Maximal order of number field of degree 3 over QQ
 with basis AbsSimpleNumFieldElem[1, a, a^2]
 ```
 

src/AlgAss/AlgGrp.jl

@@ -167,24 +167,24 @@ function show(io::IO, ::MIME"text/plain", A::GroupAlgebra)
 end
 
 function show(io::IO, A::GroupAlgebra)
+  io = pretty(io)
   if is_terse(io)
     print(io, "Group algebra of ")
     if is_finite(group(A))
-      print(io, "dimension ", order(group(A)))
+      print(io, "dimension ", order(group(A)), " ")
     else
       print(io, "infinite dimension ")
     end
-    print(io, " over ", base_ring(A))
   else
     print(io, "Group algebra of group ")
     if is_finite(group(A))
       print(io, "of order ", order(group(A)), " ")
     else
       print(io, "of infinite order ")
     end
-    print(io, "over ")
-    print(terse(io), base_ring(A))
+    io = terse(io)
   end
+  print(io, "over ", Lowercase(), base_ring(A))
 end
 
 ################################################################################

src/GenOrd/GenOrd.jl

@@ -630,7 +630,7 @@ julia> k, a = quadratic_field(12);
 
 julia> integral_closure(ZZ, k)
 
-Maximal order of Real quadratic field defined by x^2 - 12
+Maximal order of real quadratic field defined by x^2 - 12
 with basis AbsSimpleNumFieldElem[1, 1//2*sqrt(12)]
 ```
 """

src/NumFieldOrd/NfOrd/NfOrd.jl

@@ -194,8 +194,9 @@ end
 ################################################################################
 
 function show(io::IO, S::AbsNumFieldOrderSet)
+  io = pretty(io)
   print(io, "Set of orders of the number field ")
-  print(io, S.nf)
+  print(io, Lowercase(), S.nf)
 end
 
 function extra_name(O::AbsNumFieldOrder)
@@ -217,14 +218,19 @@ function show(io::IO, O::AbsNumFieldOrder)
 end
 
 function show_gen(io::IO, O::AbsNumFieldOrder)
+  io = pretty(io)
   print(io, "Order of ")
-  println(io, nf(O))
+  println(io, Lowercase(), nf(O))
   print(io, "with Z-basis ")
-  print(io, basis(O, copy = false))
+  print(terse(io), basis(O, copy = false))
 end
 
 function show_maximal(io::IO, O::AbsNumFieldOrder)
-  print(io, "Maximal order of $(nf(O)) \nwith basis $(O.basis_nf)")
+  io = pretty(io)
+  print(io, "Maximal order of ")
+  println(io, Lowercase(), nf(O))
+  print(io, "with basis ")
+  print(terse(io), O.basis_nf)
 end
 
 ################################################################################

src/NumFieldOrd/NfOrd/ResidueRing.jl

@@ -77,7 +77,8 @@ Base.deepcopy_internal(x::AbsOrdQuoRingElem, dict::IdDict) =
 ################################################################################
 
 function show(io::IO, Q::AbsOrdQuoRing)
-  print(io, "Quotient of $(Q.base_ring)")
+  io = pretty(io)
+  print(io, "Quotient of ", Lowercase(), Q.base_ring)
 end
 
 function AbstractAlgebra.expressify(x::AbsOrdQuoRingElem; context = nothing)