From 7db7119a29171c05fb0ee37f1d5b795dd0d74594 Mon Sep 17 00:00:00 2001 From: kalmar Date: Mon, 15 May 2017 17:29:12 +0200 Subject: [PATCH] show for AutGroup --- src/AutGroup.jl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/AutGroup.jl b/src/AutGroup.jl index 1d3bfeb..7e24604 100644 --- a/src/AutGroup.jl +++ b/src/AutGroup.jl @@ -219,6 +219,11 @@ generators(G::AutGroup) = [G(AutGroupElem(elt)) for elt in G.gens] # ############################################################################### +function show(io::IO, G::AutGroup) + print(io, "Automorphism Group of $(G.objectGroup)\n") + print(io, "Generated by $(join(G.gens, ","))") +end + ############################################################################### # # Comparison