kalmar/GroupsWithPropertyT
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

adopt to new packages

Browse Source
This commit is contained in:
kalmar 2017-03-13 20:37:53 +01:00
parent c567a35d54
commit 44f91c31a4
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
SL3Z.jl
View File

@ -113,13 +113,13 @@ end
@everywhere push!(LOAD_PATH, "./")
using GroupAlgebras using GroupAlgebras
include("property(T).jl") using PropertyT
const N = 3 const N = 3
const name = "SL$(N)Z" # const name = "SL$(N)Z"
const name = "SL3Z-0.279"
const ID = eye(Int, N) const ID = eye(Int, N)
S() = SL_generatingset(N) S() = SL_generatingset(N)
const upper_bound=0.27 const upper_bound=0.27
@ -133,4 +133,4 @@ const upper_bound=0.27
# S() = SL_generatingset(N, p) # S() = SL_generatingset(N, p)
BLAS.set_num_threads(4) BLAS.set_num_threads(4)
@time check_property_T(name, ID, S; verbose=true, tol=1e-10, upper_bound=upper_bound) @time PropertyT.check_property_T(name, ID, S; verbose=true, tol=1e-8, upper_bound=upper_bound)