From 010fdb13a07beff401a45e5c9bc5dc15dca0db4b Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Wed, 17 May 2017 11:26:35 +0200
Subject: [PATCH] import all the necessary stuff

---
 src/GroupRings.jl | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/GroupRings.jl b/src/GroupRings.jl
index 12caa27..e46214c 100644
--- a/src/GroupRings.jl
+++ b/src/GroupRings.jl
@@ -1,11 +1,9 @@
 module GroupRings
 
 using Nemo
-import Nemo: Group, GroupElem, Ring
+import Nemo: Group, GroupElem, Ring, parent, elem_type, parent_type
 
-import Base: convert, show, isequal, ==
-import Base: +, -, *, //
-import Base: size, length, norm, rationalize
+import Base: convert, show, hash, ==, +, -, *, //, /, length, norm, rationalize, deepcopy_internal
 
 ###############################################################################
 #