diff --git a/src/arb/Complex.jl b/src/arb/Complex.jl index 4bdb02dbe..87d80a2c2 100644 --- a/src/arb/Complex.jl +++ b/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 diff --git a/src/arb/Real.jl b/src/arb/Real.jl index 80294757b..a06bd1005 100644 --- a/src/arb/Real.jl +++ b/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 diff --git a/src/arb/acb.jl b/src/arb/acb.jl index 00ed6e163..f9a92572e 100644 --- a/src/arb/acb.jl +++ b/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") diff --git a/src/arb/acb_poly.jl b/src/arb/acb_poly.jl index 22968317a..d32bfa34b 100644 --- a/src/arb/acb_poly.jl +++ b/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 ") diff --git a/src/arb/arb.jl b/src/arb/arb.jl index a47c23687..db31116af 100644 --- a/src/arb/arb.jl +++ b/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") diff --git a/src/arb/arb_poly.jl b/src/arb/arb_poly.jl index eb07ee06a..c07edada3 100644 --- a/src/arb/arb_poly.jl +++ b/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 ") diff --git a/src/calcium/ca.jl b/src/calcium/ca.jl index e36cceb0f..befc1340f 100644 --- a/src/calcium/ca.jl +++ b/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 diff --git a/src/calcium/qqbar.jl b/src/calcium/qqbar.jl index 4fd921fcf..235351251 100644 --- a/src/calcium/qqbar.jl +++ b/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") diff --git a/src/flint/flint_puiseux_series.jl b/src/flint/flint_puiseux_series.jl index 7727619b1..08ce586d5 100644 --- a/src/flint/flint_puiseux_series.jl +++ b/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 diff --git a/src/flint/fmpq.jl b/src/flint/fmpq.jl index b91be9478..6dbba4857 100644 --- a/src/flint/fmpq.jl +++ b/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") diff --git a/src/flint/fmpz.jl b/src/flint/fmpz.jl index 0c408fc71..c59629485 100644 --- a/src/flint/fmpz.jl +++ b/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") diff --git a/src/flint/fmpz_abs_series.jl b/src/flint/fmpz_abs_series.jl index d7b479020..a4c19ba5a 100644 --- a/src/flint/fmpz_abs_series.jl +++ b/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 diff --git a/src/flint/fmpz_laurent_series.jl b/src/flint/fmpz_laurent_series.jl index cfc5cb1af..f50cdb378 100644 --- a/src/flint/fmpz_laurent_series.jl +++ b/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 diff --git a/src/flint/fmpz_mod.jl b/src/flint/fmpz_mod.jl index 3ff497190..ee52adfb4 100644 --- a/src/flint/fmpz_mod.jl +++ b/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) diff --git a/src/flint/fq.jl b/src/flint/fq.jl index 566f7698a..dc019cd64 100644 --- a/src/flint/fq.jl +++ b/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) diff --git a/src/flint/fq_default.jl b/src/flint/fq_default.jl index 6058635e1..3d8cc773a 100644 --- a/src/flint/fq_default.jl +++ b/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) diff --git a/src/flint/fq_nmod.jl b/src/flint/fq_nmod.jl index 01480c378..bd68a4112 100644 --- a/src/flint/fq_nmod.jl +++ b/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) diff --git a/src/flint/gfp_elem.jl b/src/flint/gfp_elem.jl index d991dee68..ec96c9405 100644 --- a/src/flint/gfp_elem.jl +++ b/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) diff --git a/src/flint/gfp_fmpz_elem.jl b/src/flint/gfp_fmpz_elem.jl index 93a6aefae..68fcd5935 100644 --- a/src/flint/gfp_fmpz_elem.jl +++ b/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) diff --git a/src/flint/nmod.jl b/src/flint/nmod.jl index 9e3802c83..6fefedb4b 100644 --- a/src/flint/nmod.jl +++ b/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) diff --git a/src/flint/padic.jl b/src/flint/padic.jl index b541b46fc..c6eabadeb 100644 --- a/src/flint/padic.jl +++ b/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))") diff --git a/src/flint/qadic.jl b/src/flint/qadic.jl index 7c59c9a59..694c58c05 100644 --- a/src/flint/qadic.jl +++ b/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))") diff --git a/src/gaussiannumbers/QQi.jl b/src/gaussiannumbers/QQi.jl index d2164f754..5ca171758 100644 --- a/src/gaussiannumbers/QQi.jl +++ b/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]") diff --git a/src/gaussiannumbers/ZZi.jl b/src/gaussiannumbers/ZZi.jl index 920e68723..4940e08b7 100644 --- a/src/gaussiannumbers/ZZi.jl +++ b/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]")