diff --git a/SL3Z.jl b/SL3Z.jl index c7a8680..bd0cf0e 100644 --- a/SL3Z.jl +++ b/SL3Z.jl @@ -123,8 +123,14 @@ end using GroupAlgebras include("property(T).jl") +const N = 3 + +const name = "SL$(N)Z" +const ID = eye(Int, N) +S() = SL_generatingset(N) +const upper_bound=0.27 - +@time check_property_T(name, ID, S; verbose=true, tol=1e-10, upper_bound=upper_bound)