From f3c36f132b01f600a743b6c96714ec35135e506f Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 11 May 2017 18:17:42 +0200 Subject: [PATCH] parent_type, elem_type --- src/FPGroups.jl | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/FPGroups.jl b/src/FPGroups.jl index b32e27c..0a34cdc 100644 --- a/src/FPGroups.jl +++ b/src/FPGroups.jl @@ -23,6 +23,10 @@ end export FPSymbol, FPGroupElem, FPGroup, generators +parent_type(::Type{FPGroupElem}) = FPGroup + +elem_type(::FPGroup) = FPGroupElem + FPSymbol(s::String) = FPSymbol(s,1)