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 ############################################################################### #