mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-14 06:10:28 +01:00
using GroupRings
This commit is contained in:
parent
d1fb62cb8c
commit
5516b1ae64
@ -1,7 +1,7 @@
|
||||
module PropertyT
|
||||
|
||||
using JLD
|
||||
using GroupAlgebras
|
||||
using GroupRings
|
||||
using Memento
|
||||
|
||||
const logger = Memento.config("info", fmt="{msg}")
|
||||
|
Loading…
Reference in New Issue
Block a user