mirror of
https://github.com/kalmarek/GroupRings.jl.git
synced 2025-01-01 03:40:29 +01:00
using Nemo, imports
This commit is contained in:
parent
5dcae51b48
commit
200e9b429a
@ -1,5 +1,8 @@
|
|||||||
module GroupAlgebras
|
module GroupAlgebras
|
||||||
|
|
||||||
|
using Nemo
|
||||||
|
import Nemo: Group, GroupElem, Ring
|
||||||
|
|
||||||
import Base: convert, show, isequal, ==
|
import Base: convert, show, isequal, ==
|
||||||
import Base: +, -, *, //
|
import Base: +, -, *, //
|
||||||
import Base: size, length, norm, rationalize
|
import Base: size, length, norm, rationalize
|
||||||
|
Loading…
Reference in New Issue
Block a user