From 26777eefdf476f778ebeb8d889da5a0290c16d16 Mon Sep 17 00:00:00 2001 From: kalmar Date: Mon, 13 Mar 2017 11:47:00 +0100 Subject: [PATCH] code for SL(3,Z) --- SL3Z.jl | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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)