kalmar/SmallHyperbolic
1
0
Fork 0
mirror of https://github.com/kalmarek/SmallHyperbolic synced 2024-07-27 21:10:31 +02:00
Code Issues Releases Wiki Activity

add generators of order 10 for SL₂{31}

Browse Source
This commit is contained in:
kalmarek 2020-09-01 22:12:59 +02:00
parent 8dc248a5b2
commit 6e967824cd
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
adj_psl2_eigvals.jl
View File

@ -8,7 +8,16 @@ using Dates
include("src/nemo_utils.jl") include("src/nemo_utils.jl")
function SL2p_gens(p) function SL2p_gens(p)
if p == 109 if p == 31
a, b = let
a = SL₂{p}([8 14; 4 11])
b = SL₂{p}([23 0; 14 27])
@assert isone(a^10)
@assert isone(b^10)
a, b
end
elseif p == 109
a, b = let a, b = let
a = SL₂{p}([0 1; 108 11]) a = SL₂{p}([0 1; 108 11])
b = SL₂{p}([57 2; 52 42]) b = SL₂{p}([57 2; 52 42])
@ -51,7 +60,7 @@ const p = try
RamanujanGraphs.Primes.isprime(p) RamanujanGraphs.Primes.isprime(p)
p p
catch ex catch ex
@error "You need to provide a prime `-p` which is congruent to 1 mod 4." @error "You need to provide a prime, ex: `julia adj_psl2_eigvals.jl -p 31`"
rethrow(ex) rethrow(ex)
end end