mirror of
https://github.com/kalmarek/GroupRings.jl.git
synced 2024-12-28 18:50:29 +01:00
fix using, imports and includes
This commit is contained in:
parent
edc6d5cefa
commit
1949b908e5
@ -1,18 +1,19 @@
|
||||
__precompile__()
|
||||
module GroupRings
|
||||
|
||||
using AbstractAlgebra
|
||||
import AbstractAlgebra: Group, GroupElem, Ring, RingElem, parent, elem_type, parent_type, addeq!, mul!
|
||||
|
||||
using SparseArrays
|
||||
using LinearAlgebra
|
||||
using Markdown
|
||||
using AbstractAlgebra
|
||||
|
||||
import Base: convert, show, hash, ==, +, -, *, ^, //, /, length, getindex, setindex!, eltype, one, zero
|
||||
|
||||
export GroupRing, GroupRingElem, complete!, create_pm, star, aug, supp
|
||||
|
||||
import Base: ==, +, -, *, ^, //, /
|
||||
import AbstractAlgebra: Group, GroupElem, NCRing, NCRingElem, Ring
|
||||
import AbstractAlgebra: zero!, mul!, add!, addeq!, addmul!
|
||||
|
||||
export GroupRing, GroupRingElem, aug, supp, star
|
||||
|
||||
include("types.jl")
|
||||
include("ncring_interface.jl")
|
||||
include("arithmetic.jl")
|
||||
include("misc.jl")
|
||||
|
||||
end # of module GroupRings
|
||||
|
Loading…
Reference in New Issue
Block a user