Skip to content

Commit

Permalink
Fix casing in show(::AlgClosure) (#3249)
Browse files Browse the repository at this point in the history
  • Loading branch information
lgoettgens authored Jan 26, 2024
1 parent cc01f7b commit 4b3ed0e
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 2 deletions.
5 changes: 4 additions & 1 deletion src/Rings/AlgClosureFp.jl
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,8 @@ using ..Oscar
import Base: +, -, *, //, ==, deepcopy_internal, hash, isone, iszero, one,
parent, show, zero

import ..Oscar.AbstractAlgebra: pretty, Lowercase

import ..Oscar: base_field, base_ring, characteristic, data, degree, divexact,
elem_type, embedding, has_preimage, IntegerUnion, is_unit, map_entries,
minpoly, parent_type, promote_rule, roots
Expand All @@ -28,7 +30,8 @@ struct AlgClosure{T} <: AbstractAlgebra.Field
end

function show(io::IO, A::AlgClosure)
print(io, "Algebraic Closure of $(A.k)")
io = pretty(io)
print(io, "Algebraic Closure of ", Lowercase(), A.k)
end

base_field(A::AlgClosure) = A.k
Expand Down
2 changes: 1 addition & 1 deletion test/Rings/AlgClosureFp.jl
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ end

@testset "Printing for $F" for F in [GF(3, 1), Nemo.Native.GF(3, 1)]
K = algebraic_closure(F)
@test sprint(show, "text/plain", K) == "Algebraic Closure of Finite field of degree 1 over GF(3)"
@test sprint(show, "text/plain", K) == "Algebraic Closure of finite field of degree 1 over GF(3)"

for x in F
@test sprint(show, "text/plain", K(x)) == sprint(show, "text/plain", x)
Expand Down

0 comments on commit 4b3ed0e

Please sign in to comment.