mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-07-17 02:50:32 +02:00
temporary uses and imports
This commit is contained in:
parent
68e5e8e3ea
commit
6795693ce8
@ -1,8 +1,13 @@
|
|||||||
module Groups
|
module Groups
|
||||||
|
|
||||||
|
using Nemo
|
||||||
|
import Nemo: Group, parent
|
||||||
|
|
||||||
import Base: length, ==, hash, show, convert
|
import Base: length, ==, hash, show, convert
|
||||||
import Base: one, inv, reduce, *, ^
|
import Base: one, inv, reduce, *, ^
|
||||||
import Base: findfirst, findnext
|
import Base: findfirst, findnext
|
||||||
|
import Base: deepcopy_internal
|
||||||
|
|
||||||
|
|
||||||
export GSymbol, GWord
|
export GSymbol, GWord
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user