From 7e523632551c65a3f9c560e431d574e8764ffa12 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Mon, 5 Feb 2024 16:06:33 +0100 Subject: [PATCH] one more fix --- src/antic/nf_elem.jl | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/antic/nf_elem.jl b/src/antic/nf_elem.jl index 3d032887a..fc1758355 100644 --- a/src/antic/nf_elem.jl +++ b/src/antic/nf_elem.jl @@ -1206,6 +1206,15 @@ function show_cyclo(io::IO, a::AbsSimpleNumField) print(io, "Cyclotomic field of order $(get_attribute(a, :cyclo))") end +function show_cyclo(io::IO, ::MIME"text/plain", a::AbsSimpleNumField) + # TODO: change to print something with "cyclotomic" in it + @assert is_cyclo_type(a) + print(io, "Number field with defining polynomial ", defining_polynomial(a)) + println(io) + io = pretty(io) + print(io, Indent(), "over ", Lowercase(), QQ, Dedent()) +end + @doc raw""" cyclotomic_real_subfield(n::Int, s::VarName = "(z_$n + 1/z_$n)", t = "\$"; cached = true)