diff --git a/SL3Z.jl b/SL3Z.jl index 4fd7a66..8649132 100644 --- a/SL3Z.jl +++ b/SL3Z.jl @@ -113,13 +113,13 @@ end -@everywhere push!(LOAD_PATH, "./") using GroupAlgebras -include("property(T).jl") +using PropertyT const N = 3 -const name = "SL$(N)Z" +# const name = "SL$(N)Z" +const name = "SL3Z-0.279" const ID = eye(Int, N) S() = SL_generatingset(N) const upper_bound=0.27 @@ -133,4 +133,4 @@ const upper_bound=0.27 # S() = SL_generatingset(N, p) 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)