From 53bc7fe05c766f91303a4658e0bf55b3c7e30399 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 12 May 2017 20:09:03 +0200 Subject: [PATCH] add elem_type, parent_type, generators --- src/automorphism_groups.jl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/automorphism_groups.jl b/src/automorphism_groups.jl index f3f41c4..bb790c7 100644 --- a/src/automorphism_groups.jl +++ b/src/automorphism_groups.jl @@ -18,7 +18,9 @@ type AutGroup <: Group end +elem_type(::AutGroup) = AutGroupElem +parent_type(::AutGroupElem) = AutGroup function ϱ(i,j, pow=1) @@ -140,6 +142,7 @@ function change_pow(s::AutSymbol, n::Int) end end +generators(G::AutGroup) = [G(AutGroupElem(elt)) for elt in G.generators] (==)(s::AutSymbol, t::AutSymbol) = s.gen == t.gen && s.pow == t.pow