From 21062f2461f800be136ae8dafcf6281d827a65a5 Mon Sep 17 00:00:00 2001 From: kalmar Date: Mon, 13 Mar 2017 11:47:16 +0100 Subject: [PATCH] Code for SL(n,p) --- SL3Z.jl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/SL3Z.jl b/SL3Z.jl index bd0cf0e..d5f9395 100644 --- a/SL3Z.jl +++ b/SL3Z.jl @@ -131,6 +131,11 @@ S() = SL_generatingset(N) const upper_bound=0.27 +# const p = 7 +# const upper_bound=0.738 # (N,p) = (3,7) +# const name = "SL($N,$p)" +# const ID = [Mod(x,p) for x in eye(Int,N)] +# S() = SL_generatingset(N, p) @time check_property_T(name, ID, S; verbose=true, tol=1e-10, upper_bound=upper_bound)