kalmar/GroupRings.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2025-01-01 03:40:29 +01:00
Code Issues Releases Wiki Activity

import all the necessary stuff

Browse Source
This commit is contained in:
kalmar 2017-05-17 11:26:35 +02:00
parent b0b27051cd
commit 010fdb13a0
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/GroupRings.jl
View File

@ -1,11 +1,9 @@
module GroupRings module GroupRings
using Nemo using Nemo
import Nemo: Group, GroupElem, Ring import Nemo: Group, GroupElem, Ring, parent, elem_type, parent_type
import Base: convert, show, isequal, == import Base: convert, show, hash, ==, +, -, *, //, /, length, norm, rationalize, deepcopy_internal
import Base: +, -, *, //
import Base: size, length, norm, rationalize
############################################################################### ###############################################################################
# #