code for SL(3,Z)

2017-03-13 11:47:00 +01:00 · 2017-03-13 11:47:00 +01:00 · 26777eefdf
parent cb3b4b6b49
commit 26777eefdf
1 changed files with 7 additions and 1 deletions
--- 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)