1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-14 14:15:28 +01:00

cleaning using and imports

This commit is contained in:
kalmar 2017-06-22 15:15:43 +02:00
parent 3c0ecd2e73
commit be1c473e4a
2 changed files with 10 additions and 13 deletions

View File

@ -1,14 +1,7 @@
using JLD
using JuMP
using SCS
using GroupRings
using PropertyT
using ValidatedNumerics
using ArgParse
import Nemo: Group, GroupElem
export Settings, OrbitData
immutable Settings
name::String

View File

@ -1,11 +1,15 @@
module PropertyT
using JLD
using GroupRings
using Memento
using Nemo
using Groups
import Nemo: Ring, Group, GroupElem
using GroupRings
import Nemo: Group, GroupElem, Ring
using JLD
using JuMP
using Memento
const logger = Memento.config("info", fmt="{msg}")
const solver_logger = Memento.config("info", fmt="{msg}")