Use @show_name, @show_special for parent show methods

src/arb/Complex.jl

@@ -144,6 +144,7 @@ function Base.show(io::IO, z::ComplexFieldElem)
 end
 
 function show(io::IO, x::ComplexField)
+  # deliberately no @show_name or @show_special here as this is a singleton type
   if get(io, :supercompact, false)
     print(io, LowercaseOff(), "CC")
   else

src/arb/Real.jl

@@ -173,6 +173,7 @@ function expressify(x::RealFieldElem; context = nothing)
 end
 
 function show(io::IO, x::RealField)
+  # deliberately no @show_name or @show_special here as this is a singleton type
   if get(io, :supercompact, false)
     print(io, LowercaseOff(), "RR")
   else

src/arb/acb.jl

@@ -152,6 +152,8 @@ function Base.show(io::IO, z::AcbFieldElem)
 end
 
 function show(io::IO, x::AcbField)
+  @show_name(io, x)
+  @show_special(io, x)
   print(io, "Complex Field with ")
   print(io, precision(x))
   print(io, " bits of precision and error bounds")

src/arb/acb_poly.jl

@@ -73,6 +73,8 @@ end
 ###############################################################################
 
 function show(io::IO, x::AcbPolyRing)
+  @show_name(io, x)
+  @show_special(io, x)
   print(io, "Univariate Polynomial Ring in ")
   print(io, var(x))
   print(io, " over ")

src/arb/arb.jl

@@ -197,6 +197,8 @@ function expressify(x::ArbFieldElem; context = nothing)
 end
 
 function show(io::IO, x::ArbField)
+  @show_name(io, x)
+  @show_special(io, x)
   print(io, "Real Field with ")
   print(io, precision(x))
   print(io, " bits of precision and error bounds")

src/arb/arb_poly.jl

@@ -73,6 +73,8 @@ end
 ###############################################################################
 
 function show(io::IO, x::ArbPolyRing)
+  @show_name(io, x)
+  @show_special(io, x)
   print(io, "Univariate Polynomial Ring in ")
   print(io, var(x))
   print(io, " over ")

src/calcium/ca.jl

@@ -87,6 +87,8 @@ canonical_unit(a::CalciumFieldElem) = a
 ###############################################################################
 
 function show(io::IO, C::CalciumField)
+   @show_name(io, C)
+   @show_special(io, C)
    if C.extended
      print(io, "Exact complex field (extended)")
    else

src/calcium/qqbar.jl

@@ -153,6 +153,7 @@ function native_string(x::QQBarFieldElem)
 end
 
 function show(io::IO, F::QQBarField)
+  # deliberately no @show_name or @show_special here as this is a singleton type
   if get(io, :supercompact, false)
     io = pretty(io)
     print(io, LowercaseOff(), "QQBar")

src/flint/flint_puiseux_series.jl

@@ -241,6 +241,8 @@ function show(io::IO, p::FlintPuiseuxSeriesRing)
 end
 
 function show(io::IO, p::FlintPuiseuxSeriesField)
+   @show_name(io, p)
+   @show_special(io, p)
    if get(io, :supercompact, false)
       print(io, "Puiseux series field")
    else

src/flint/fmpq.jl

@@ -258,6 +258,7 @@ function show(io::IO, ::MIME"text/plain", a::QQField)
 end
 
 function show(io::IO, a::QQField)
+  # deliberately no @show_name or @show_special here as this is a singleton type
   if get(io, :supercompact, false)
     # no nested printing
     print(pretty(io), LowercaseOff(), "QQ")

src/flint/fmpz.jl

@@ -250,6 +250,7 @@ string(x::ZZRingElem) = dec(x)
 show(io::IO, x::ZZRingElem) = print(io, string(x))
 
 function show(io::IO, a::ZZRing)
+   # deliberately no @show_name or @show_special here as this is a singleton type
    if get(io, :supercompact, false)
       # no nested printing
       print(pretty(io), LowercaseOff(), "ZZ")

src/flint/fmpz_abs_series.jl

@@ -159,6 +159,8 @@ end
 ###############################################################################
 
 function show(io::IO, a::ZZAbsPowerSeriesRing)
+   @show_name(io, a)
+   @show_special(io, a)
    print(io, "Univariate power series ring in ", var(a), " over ")
    show(io, base_ring(a))
 end

src/flint/fmpz_laurent_series.jl

@@ -344,6 +344,8 @@ function show(io::IO, a::ZZLaurentSeriesRingElem)
 end
 
 function show(io::IO, p::ZZLaurentSeriesRing)
+   @show_name(io, p)
+   @show_special(io, p)
    if get(io, :supercompact, false)
       print(io, "Laurent series ring")
    else

src/flint/fmpz_mod.jl

@@ -95,6 +95,8 @@ end
 ###############################################################################
 
 function show(io::IO, R::ZZModRing)
+   @show_name(io, R)
+   @show_special(io, R)
    if get(io, :supercompact, false)
       # no nested printing
       io = pretty(io)

src/flint/fq.jl

@@ -162,6 +162,8 @@ end
 show(io::IO, a::FqPolyRepFieldElem) = print(io, AbstractAlgebra.obj_to_string(a, context = io))
 
 function show(io::IO, a::FqPolyRepField)
+   @show_name(io, a)
+   @show_special(io, a)
    if get(io, :supercompact, false)
       # no nested printing
       io = pretty(io)

src/flint/fq_default.jl

@@ -362,6 +362,8 @@ end
 show(io::IO, a::FqFieldElem) = print(io, AbstractAlgebra.obj_to_string(a, context = io))
 
 function show(io::IO, a::FqField)
+  @show_name(io, a)
+  @show_special(io, a)
   io = pretty(io)
   if is_absolute(a)
     deg = degree(a)

src/flint/fq_nmod.jl

@@ -162,6 +162,8 @@ end
 show(io::IO, a::fqPolyRepFieldElem) = print(io, AbstractAlgebra.obj_to_string(a, context = io))
 
 function show(io::IO, a::fqPolyRepField)
+   @show_name(io, a)
+   @show_special(io, a)
    if get(io, :supercompact, false)
       # no nested printing
       io = pretty(io)

src/flint/gfp_elem.jl

@@ -83,6 +83,8 @@ end
 ###############################################################################
 
 function show(io::IO, a::fpField)
+   @show_name(io, a)
+   @show_special(io, a)
    if get(io, :supercompact, false)
       # no nested printing
       io = pretty(io)

src/flint/gfp_fmpz_elem.jl

@@ -85,6 +85,8 @@ canonical_unit(x::FpFieldElem) = x
 ###############################################################################
 
 function show(io::IO, a::FpField)
+   @show_name(io, a)
+   @show_special(io, a)
    if get(io, :supercompact, false)
       # no nested printing
       io = pretty(io)

src/flint/nmod.jl

@@ -95,6 +95,8 @@ end
 ###############################################################################
 
 function show(io::IO, R::zzModRing)
+   @show_name(io, R)
+   @show_special(io, R)
    if get(io, :supercompact, false)
       # no nested printing
       io = pretty(io)

src/flint/padic.jl

@@ -258,6 +258,8 @@ function show(io::IO, a::PadicFieldElem)
 end
 
 function show(io::IO, R::PadicField)
+   @show_name(io, R)
+   @show_special(io, R)
    if get(io, :supercompact, false)
      io = pretty(io)
      print(io, LowercaseOff(), "QQ_$(prime(R))")

src/flint/qadic.jl

@@ -247,6 +247,8 @@ function show(io::IO, a::QadicFieldElem)
 end
 
 function show(io::IO, R::QadicField)
+   @show_name(io, R)
+   @show_special(io, R)
    if get(io, :supercompact, false)
      io = pretty(io)
      print(io, LowercaseOff(), "QQ_$(prime(R))^$(degree(R))")

src/gaussiannumbers/QQi.jl

@@ -35,6 +35,7 @@ function Base.show(io::IO, a::QQiFieldElem)
 end
 
 function Base.show(io::IO, a::QQiField)
+   # deliberately no @show_name or @show_special here as this is a singleton type
    if get(io, :supercompact, false)
      io = pretty(io)
      print(io, LowercaseOff(), "QQ[im]")

src/gaussiannumbers/ZZi.jl

@@ -33,6 +33,7 @@ function Base.show(io::IO, a::ZZiRingElem)
 end
 
 function Base.show(io::IO, a::ZZiRing)
+   # deliberately no @show_name or @show_special here as this is a singleton type
    if get(io, :supercompact, false)
      io = pretty(io)
      print(io, LowercaseOff(), "ZZ[im]")