Use @show_name, @show_special for all (?) parent show methods

src/AbsMSeries.jl

@@ -113,7 +113,10 @@ end
 
 @enable_all_show_via_expressify MSeriesElem
 
-function show(io::IO, ::MIME"text/plain", p::MSeriesRing)
+function show(io::IO, mime::MIME"text/plain", p::MSeriesRing)
+  @show_name(io, p)
+  @show_special(io, mime, p)
+
   max_vars = 5 # largest number of variables to print
   n = nvars(p)
   print(io, "Multivariate power series ring")
@@ -131,6 +134,9 @@ function show(io::IO, ::MIME"text/plain", p::MSeriesRing)
 end
 
 function show(io::IO, p::MSeriesRing)
+  @show_name(io, p)
+  @show_special(io, p)
+
   if get(io, :supercompact, false)
     # no nested printing
     print(io, "Multivariate power series ring")

src/Fraction.jl

@@ -131,14 +131,20 @@ end
 
 @enable_all_show_via_expressify FracElem
 
-function show(io::IO, ::MIME"text/plain", a::FracField)
+function show(io::IO, mime::MIME"text/plain", a::FracField)
+  @show_name(io, a)
+  @show_special(io, mime, a)
+
   println(io, "Fraction field")
   io = pretty(io)
   print(io, Indent(), "of ", Lowercase(), base_ring(a))
   print(io, Dedent())
 end
 
 function show(io::IO, a::FracField)
+  @show_name(io, a)
+  @show_special(io, a)
+
   if get(io, :supercompact, false)
     print(io, "Fraction field")
   else

src/FreeAssAlgebra.jl

@@ -59,7 +59,10 @@ end
 
 @enable_all_show_via_expressify FreeAssAlgElem
 
-function show(io::IO, ::MIME"text/plain", a::FreeAssAlgebra)
+function show(io::IO, mime::MIME"text/plain", a::FreeAssAlgebra)
+  @show_name(io, a)
+  @show_special(io, mime, a)
+
   max_vars = 5 # largest number of variables to print
   n = nvars(a)
   print(io, "Free associative algebra")
@@ -77,6 +80,9 @@ function show(io::IO, ::MIME"text/plain", a::FreeAssAlgebra)
 end
 
 function show(io::IO, a::FreeAssAlgebra)
+  @show_name(io, a)
+  @show_special(io, a)
+
   if get(io, :supercompact, false)
     # no nested printing
     print(io, "Free associative algebra")

src/LaurentMPoly.jl

@@ -32,7 +32,10 @@ end
 
 @enable_all_show_via_expressify LaurentMPolyRingElem
 
-function show(io::IO, ::MIME"text/plain", p::LaurentMPolyRing)
+function show(io::IO, mime::MIME"text/plain", p::LaurentMPolyRing)
+  @show_name(io, p)
+  @show_special(io, mime, p)
+
   max_vars = 5 # largest number of variables to print
   n = nvars(p)
   print(io, "Multivariate Laurent polynomial ring")
@@ -50,6 +53,9 @@ function show(io::IO, ::MIME"text/plain", p::LaurentMPolyRing)
 end
 
 function show(io::IO, p::LaurentMPolyRing)
+  @show_name(io, p)
+  @show_special(io, p)
+
   if get(io, :supercompact, false)
     # no nested printing
     print(io, "Multivariate Laurent polynomial ring")

src/MPoly.jl

@@ -559,7 +559,10 @@ end
 
 @enable_all_show_via_expressify MPolyRingElem
 
-function show(io::IO, ::MIME"text/plain", p::MPolyRing)
+function show(io::IO, mime::MIME"text/plain", p::MPolyRing)
+  @show_name(io, p)
+  @show_special(io, mime, p)
+
   max_vars = 5 # largest number of variables to print
   n = nvars(p)
   print(io, "Multivariate polynomial ring")
@@ -577,6 +580,9 @@ function show(io::IO, ::MIME"text/plain", p::MPolyRing)
 end
 
 function show(io::IO, p::MPolyRing)
+  @show_name(io, p)
+  @show_special(io, p)
+
   if get(io, :supercompact, false)
     # no nested printing
     print(io, "Multivariate polynomial ring")

src/Map.jl

@@ -21,7 +21,7 @@ function check_composable(a::Map, b::Map)
    codomain(a) !== domain(b) && error("Incompatible maps")
 end
 
-function Base.show(io::IO, ::MIME"text/plain", M::AbstractAlgebra.Map)
+function Base.show(io::IO, mime::MIME"text/plain", M::AbstractAlgebra.Map)
    # the "header" is identical to the supercompact output; this
    # allows other map types to reuse this method
    println(IOContext(io, :supercompact => true), M)

src/MatRing.jl

@@ -161,7 +161,7 @@ is_square(a::MatRingElem) = true
 #
 ###############################################################################
 
-function show(io::IO, ::MIME"text/plain", a::MatRing)
+function show(io::IO, mime::MIME"text/plain", a::MatRing)
   print(io, "Matrix ring of")
   print(io, " degree ", a.n)
   println(io)

src/NCPoly.jl

@@ -150,6 +150,8 @@ number_of_generators(R::NCPolyRing) = 1
 ###############################################################################
 
 function show(io::IO, p::NCPolyRing)
+   @show_name(io, p)
+   @show_special(io, p)
    io = pretty(io)
    print(io, "Univariate polynomial ring in ", var(p), " over ")
    print(IOContext(io, :compact => true), Lowercase(), base_ring(p))

src/Poly.jl

@@ -466,6 +466,9 @@ end
 @enable_all_show_via_expressify Union{PolynomialElem, NCPolyRingElem}
 
 function show(io::IO, p::PolyRing)
+   @show_name(io, p)
+   @show_special(io, p)
+
    if get(io, :supercompact, false)
       print(io, "Univariate polynomial ring")
    else

src/RelSeries.jl

@@ -275,7 +275,10 @@ end
 
 @enable_all_show_via_expressify SeriesElem
 
-function show(io::IO, ::MIME"text/plain", a::SeriesRing)
+function show(io::IO, mime::MIME"text/plain", a::SeriesRing)
+  @show_name(io, a)
+  @show_special(io, mime, a)
+
   print(io, "Univariate power series ring in ", var(a), " with precision ", a.prec_max)
   println(io)
   io = pretty(io)
@@ -284,6 +287,9 @@ function show(io::IO, ::MIME"text/plain", a::SeriesRing)
 end
 
 function show(io::IO, a::SeriesRing)
+  @show_name(io, a)
+  @show_special(io, a)
+
   if get(io, :supercompact, false)
     print(io, "Univariate power series ring")
   else

src/Residue.jl

@@ -142,6 +142,8 @@ end
 @enable_all_show_via_expressify ResElem
 
 function show(io::IO, a::ResidueRing)
+   @show_name(io, a)
+   @show_special(io, a)
    if get(io, :supercompact, false)
      print(io, "Residue ring")
    else

src/ResidueField.jl

@@ -132,6 +132,8 @@ end
 @enable_all_show_via_expressify ResFieldElem
 
 function show(io::IO, a::ResidueField)
+   @show_name(io, a)
+   @show_special(io, a)
    if get(io, :supercompact, false)
      print(io, "Residue field")
    else

src/algorithms/LaurentPoly.jl

@@ -203,7 +203,9 @@ canonical_unit(x::LaurentPolyRingElem) = canonical_unit(leading_coefficient(x))
 #
 ###############################################################################
 
-function show(io::IO, ::MIME"text/plain", p::LaurentPolyRing)
+function show(io::IO, mime::MIME"text/plain", p::LaurentPolyRing)
+  @show_name(io, p)
+  @show_special(io, mime, p)
   print(io, "Univariate Laurent polynomial ring in ", var(p))
   println(io)
   io = pretty(io)
@@ -212,6 +214,8 @@ function show(io::IO, ::MIME"text/plain", p::LaurentPolyRing)
 end
 
 function show(io::IO, p::LaurentPolyRing)
+  @show_name(io, p)
+  @show_special(io, p)
   if get(io, :supercompact, false)
     print(io, "Univariate Laurent polynomial ring")
   else

src/generic/DirectSum.jl

@@ -44,6 +44,8 @@ summands(M::DirectSumModule{T}) where T <: RingElement = M.m
 ###############################################################################
 
 function show(io::IO, N::DirectSumModule{T}) where T <: RingElement
+   @show_name(io, N)
+   @show_special(io, N)
    if get(io, :supercompact, false)
      io = pretty(io)
      print(io, LowercaseOff(), "DirectSumModule")

src/generic/FunctionField.jl

@@ -772,6 +772,8 @@ end
 @enable_all_show_via_expressify FunctionFieldElem
 
 function show(io::IO, R::FunctionField)
+   @show_name(io, R)
+   @show_special(io, R)
    print(IOContext(io, :compact => true), "Function Field over ",
          base_ring(base_ring(R)), " with defining polynomial ",
          numerator(R))

src/generic/InvariantFactorDecomposition.jl

@@ -56,13 +56,17 @@ end
 ###############################################################################
 
 function show(io::IO, N::SNFModule{T}) where T <: RingElement
+   @show_name(io, N)
+   @show_special(io, N)
    print(io, "Invariant factor decomposed module over ")
    print(IOContext(io, :compact => true), base_ring(N))
    print(io, " with invariant factors ")
    print(IOContext(io, :compact => true), invariant_factors(N))
 end
 
 function show(io::IO, N::SNFModule{T}) where T <: FieldElement
+   @show_name(io, N)
+   @show_special(io, N)
    print(io, "Vector space over ")
    print(IOContext(io, :compact => true), base_ring(N))
    print(io, " with dimension ")

src/generic/LaurentSeries.jl

@@ -517,6 +517,8 @@ function Base.show(io::IO, a::LaurentSeriesElem)
 end
 
 function show(io::IO, p::LaurentSeriesRing)
+   @show_name(io, p)
+   @show_special(io, p)
    if get(io, :supercompact, false)
       print(io, "Laurent series ring")
    else
@@ -527,6 +529,8 @@ function show(io::IO, p::LaurentSeriesRing)
 end
 
 function show(io::IO, p::LaurentSeriesField)
+   @show_name(io, p)
+   @show_special(io, p)
    if get(io, :supercompact, false)
       print(io, "Laurent series field")
    else

src/generic/Misc/Localization.jl

@@ -166,6 +166,8 @@ function show(io::IO, a::LocalizedEuclideanRingElem)
 end
 
 function show(io::IO, L::LocalizedEuclideanRing)
+   @show_name(io, L)
+   @show_special(io, L)
    if L.comp
      print(io, "Localization of ", base_ring(L), " at complement of ", prime(L))
    else

src/generic/PermGroups.jl

@@ -279,6 +279,8 @@ permtype(g::Perm) = sort!(diff(cycles(g).cptrs), rev=true)
 ###############################################################################
 
 function show(io::IO, G::SymmetricGroup)
+   @show_name(io, G)
+   @show_special(io, G)
    print(io, "Full symmetric group over $(G.n) elements")
 end
 

src/generic/PuiseuxSeries.jl

@@ -313,6 +313,8 @@ function Base.show(io::IO, a::PuiseuxSeriesElem)
 end
 
 function show(io::IO, p::PuiseuxSeriesRing)
+   @show_name(io, p)
+   @show_special(io, p)
    if get(io, :supercompact, false)
       print(io, "Puiseux series ring")
    else
@@ -323,6 +325,8 @@ function show(io::IO, p::PuiseuxSeriesRing)
 end
 
 function show(io::IO, p::PuiseuxSeriesField)
+   @show_name(io, p)
+   @show_special(io, p)
    if get(io, :supercompact, false)
       print(io, "Puiseux series field")
    else

src/generic/QuotientModule.jl

@@ -64,12 +64,16 @@ function show_gens_rels(io::IO, N::AbstractAlgebra.FPModule{T}) where T <: RingE
 end
 
 function show(io::IO, N::QuotientModule{T}) where T <: RingElement
+   @show_name(io, N)
+   @show_special(io, N)
    print(io, "Quotient module over ")
    print(IOContext(io, :compact => true), base_ring(N))
    show_gens_rels(io, N)
 end
 
 function show(io::IO, N::QuotientModule{T}) where T <: FieldElement
+   @show_name(io, N)
+   @show_special(io, N)
    println(io, "Quotient space over:")
    print(IOContext(io, :compact => true), base_ring(N))
    show_gens_rels(io, N)

src/generic/RationalFunctionField.jl

@@ -155,6 +155,8 @@ function show(io::IO, ::MIME"text/plain", a::RationalFunctionField)
 end
 
 function show(io::IO, a::RationalFunctionField)
+  @show_name(io, a)
+  @show_special(io, a)
   if get(io, :supercompact, false)
     # no nested printing
     print(io, "Rational function field")

src/generic/SparsePoly.jl

@@ -109,6 +109,8 @@ function Base.show(io::IO, a::SparsePoly)
 end
 
 function show(io::IO, p::SparsePolyRing)
+   @show_name(io, p)
+   @show_special(io, p)
    print(io, "Sparse Univariate Polynomial Ring in ")
    print(io, string(p.S))
    print(io, " over ")

src/generic/TotalFraction.jl

@@ -137,6 +137,8 @@ end
 @enable_all_show_via_expressify TotFrac
 
 function show(io::IO, a::TotFracRing)
+   @show_name(io, a)
+   @show_special(io, a)
    print(IOContext(io, :compact => true), "Total ring of fractions of ", base_ring(a))
 end
 

src/generic/UnivPoly.jl

@@ -334,6 +334,8 @@ end
 ###############################################################################
 
 function show(io::IO, R::UniversalPolyRing)
+   @show_name(io, R)
+   @show_special(io, R)
    print(io, "Universal Polynomial Ring over ")
    show(io, base_ring(R))
 end

src/generic/imports.jl

@@ -73,6 +73,8 @@ using ..AbstractAlgebra
 
 import ..AbstractAlgebra: @attributes
 import ..AbstractAlgebra: @enable_all_show_via_expressify
+import ..AbstractAlgebra: @show_name
+import ..AbstractAlgebra: @show_special
 import ..AbstractAlgebra: CacheDictType
 import ..AbstractAlgebra: CycleDec
 import ..AbstractAlgebra: Dedent

src/julia/GF.jl

@@ -132,6 +132,8 @@ function show(io::IO, x::GFElem)
 end
 
 function show(io::IO, R::GFField)
+   @show_name(io, R)
+   @show_special(io, R)
    print(io, "Finite field F_", R.p)
 end