From cdc2326e06fce661c940cccb9d175535b4de9ac0 Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 17 May 2017 12:28:22 +0200 Subject: [PATCH] import getindex, setindex! --- src/GroupRings.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/GroupRings.jl b/src/GroupRings.jl index a53393a..951b102 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -3,7 +3,7 @@ module GroupRings using Nemo import Nemo: Group, GroupElem, Ring, parent, elem_type, parent_type -import Base: convert, show, hash, ==, +, -, *, //, /, length, norm, rationalize, deepcopy_internal +import Base: convert, show, hash, ==, +, -, *, //, /, length, norm, rationalize, deepcopy_internal, getindex, setindex! ############################################################################### #