From df4b63a6a6283407edb40663fcde4f169030a0c8 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Mon, 20 Aug 2018 03:28:09 +0200 Subject: [PATCH] export group names --- groups/Allgroups.jl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/groups/Allgroups.jl b/groups/Allgroups.jl index fb259e0..4a6e896 100644 --- a/groups/Allgroups.jl +++ b/groups/Allgroups.jl @@ -5,6 +5,11 @@ using Nemo using Groups export PropertyTGroup, SymmetrizedGroup, GAPGroup, Naive, Symmetrize, + SpecialLinearGroup, + SpecialAutomorphismGroup, + HigmanGroup, + CapraceGroup, + MappingClassGroup abstract type PropertyTGroup end