From 6795693ce81ae04f1ed5226dfc7559368b63cc9b Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 11 May 2017 17:34:07 +0200 Subject: [PATCH] temporary uses and imports --- src/Groups.jl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/Groups.jl b/src/Groups.jl index effdbb6..1b2c882 100644 --- a/src/Groups.jl +++ b/src/Groups.jl @@ -1,8 +1,13 @@ module Groups +using Nemo +import Nemo: Group, parent + import Base: length, ==, hash, show, convert import Base: one, inv, reduce, *, ^ import Base: findfirst, findnext +import Base: deepcopy_internal + export GSymbol, GWord