kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-25 02:05:30 +01:00
Code Issues Releases Wiki Activity

extend parent_type, elem_type from Nemo (i.e. import)

Browse Source
This commit is contained in:
kalmar 2017-05-17 17:47:13 +02:00
parent c03882ae69
commit 3776e947a3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Groups.jl
View File

@ -1,7 +1,7 @@
module Groups module Groups
using Nemo using Nemo
import Nemo: Group, parent import Nemo: Group, parent, parent_type, elem_type
import Base: length, ==, hash, show, convert import Base: length, ==, hash, show, convert
import Base: inv, reduce, *, ^ import Base: inv, reduce, *, ^