diff --git a/src/new_autgroups.jl b/src/new_autgroups.jl index 92d745a..d14e539 100644 --- a/src/new_autgroups.jl +++ b/src/new_autgroups.jl @@ -97,9 +97,11 @@ end # eye-candy -Base.show(io::IO, ::Type{<:FPGroupElement{<:AutomorphismGroup{T}}}) where {T<:FreeGroup} = +Base.show(io::IO, ::Type{<:FPGroupElement{<:AutomorphismGroup{T}}}) where {T} = print(io, "Automorphism{$T,…}") +Base.show(io::IO, A::AutomorphismGroup) = print(io, "automorphism group of ", object(A)) + ## Automorphism Evaluation domain(f::FPGroupElement{<:AutomorphismGroup}) = deepcopy(parent(f).domain) diff --git a/src/new_types.jl b/src/new_types.jl index b5e3590..9057d54 100644 --- a/src/new_types.jl +++ b/src/new_types.jl @@ -180,8 +180,8 @@ end function Base.show(io::IO, G::FPGroup) print(io, "⟨") - Base.print_array(io, reshape(gens(G), (1, ngens(G)))) + join(io, gens(G), ", ") print(io, " | ") - Base.print_array(io, relations(G)) + join(io, relations(G), ", ") print(io, "⟩") end