Stefan Witzel
|
c74dc0eecc
|
Minor logging correction.
|
2020-09-03 14:11:54 +02:00 |
|
Stefan Witzel
|
c266d49c59
|
Generators for p = 41.
|
2020-09-03 14:11:29 +02:00 |
|
Stefan Witzel
|
b8aa8be0b3
|
Numerical values for orientation.
|
2020-09-03 12:36:58 +02:00 |
|
Stefan Witzel
|
81a239c325
|
Some output.
|
2020-09-03 10:20:33 +02:00 |
|
|
|
6e967824cd
|
add generators of order 10 for SL₂{31}
|
2020-09-01 22:12:59 +02:00 |
|
|
|
8dc248a5b2
|
add logging and README.md
|
2020-06-09 16:18:00 +02:00 |
|
|
|
725293a037
|
formatting
|
2020-06-09 10:52:55 +02:00 |
|
|
|
c2740d58d3
|
fix discrete reps enumeration for p = 3 (mod 4)
|
2020-06-08 16:18:02 +02:00 |
|
|
|
62c8a09cc9
|
add eigvals_rump and immediately conjugate in safe_eigvals
|
2020-05-26 01:14:57 +02:00 |
|
|
|
a82b1af8f7
|
fix script
|
2020-05-26 01:14:19 +02:00 |
|
|
|
ab6e4ff809
|
update to latest RamanujanGraphs
|
2020-05-26 00:44:34 +02:00 |
|
|
|
18458e10ec
|
update Manifest
|
2020-05-26 00:11:52 +02:00 |
|
|
|
44339f91f0
|
add eigenvalues computations
|
2020-05-26 00:10:24 +02:00 |
|
|
|
d781aa46a9
|
move safe_eigvals
|
2020-05-26 00:09:23 +02:00 |
|
|
|
6cd237bb8e
|
move PSL.jl
|
2020-05-25 03:14:35 +02:00 |
|
|
|
b0941d17a8
|
formatter
|
2020-05-15 15:02:28 +02:00 |
|
|
|
d9bb982c84
|
integrate precision into Acb
|
2020-05-15 14:52:36 +02:00 |
|
|
|
c62d59811f
|
finally correct eigenvalues!
|
2020-05-15 01:25:30 +02:00 |
|
|
|
29244c5480
|
julia formatter
|
2020-05-15 01:15:24 +02:00 |
|
|
|
d0d0d2ace4
|
correct use of acb_mat_eig_multiple
|
2020-05-15 01:15:01 +02:00 |
|
|
|
b95807095f
|
add AcbVector
|
2020-05-15 01:14:20 +02:00 |
|
|
|
e3469b737f
|
parse once again
|
2020-05-15 01:13:12 +02:00 |
|
|
|
3b8209ee5c
|
use simple eigvals for PE's discrete series
|
2020-05-13 15:20:22 +02:00 |
|
|
|
fbe58d815b
|
global const PRECISION
|
2020-05-13 15:19:09 +02:00 |
|
|
|
9698901921
|
better parsing
|
2020-05-13 15:18:46 +02:00 |
|
|
|
ea407d2e98
|
nicer error handling
|
2020-05-13 02:27:20 +02:00 |
|
|
|
a23f0ba464
|
small tweaks to the script
|
2020-05-13 01:45:19 +02:00 |
|
|
|
ed6a987f70
|
compute eigenvalues of representations of PSL(2,109) (PEC supplied)
|
2020-05-13 01:18:35 +02:00 |
|
|
|
4f1995c1b9
|
add computations of PSL eigenvalues
|
2020-04-29 19:22:53 +02:00 |
|
|
|
0833ee025d
|
remove log redirection
|
2020-04-23 16:48:48 +02:00 |
|
|
|
12d0bd897f
|
add two 555 examples
|
2020-04-23 16:45:32 +02:00 |
|
|
|
bc183ec5f4
|
generalize groupparse to arbitrary number of gens
|
2020-04-23 16:43:40 +02:00 |
|
|
|
9c9b9b5e37
|
add 244 groups
|
2020-03-31 23:26:55 +02:00 |
|
|
|
bf85dd7e3c
|
set the default SCS eps to 1e-10
|
2020-02-26 14:50:55 +01:00 |
|
|
|
b34bba4f09
|
fix: computation of the Kazhdan constant and radius in certification
the latter is set to 10, which still might not be correct for all cases
|
2020-02-26 14:50:32 +01:00 |
|
|
|
73a58f0697
|
fix: new_λ is 0.8λ, not 0.008λ
|
2020-02-26 14:48:09 +01:00 |
|
|
|
1e217552b0
|
add second cheap KnuthBedix run
|
2020-02-12 01:57:54 +01:00 |
|
|
|
29c4e84fac
|
add grups555
|
2020-02-12 01:12:49 +01:00 |
|
|
|
2a7d121e13
|
move to the saner group parsing
|
2020-02-12 01:10:52 +01:00 |
|
|
|
d0a184ea6f
|
add groups333 to runcomputations
|
2020-01-27 14:28:52 +01:00 |
|
|
|
ccf0242f5d
|
add groups333 to makefile
|
2020-01-27 14:26:24 +01:00 |
|
|
|
ce1f551224
|
better parsing of group presentations
|
2020-01-27 14:25:59 +01:00 |
|
|
|
fc84278fa5
|
fix: copy warmstart.jld to directory
|
2020-01-22 23:11:49 +01:00 |
|
|
|
6c44a396c6
|
fix:force copy
|
2020-01-22 09:12:30 +01:00 |
|
|
|
76b1f0ceb5
|
fix: return the certified and fp λ to decide if second run is necessary
|
2020-01-21 21:53:18 +01:00 |
|
|
|
87b0512580
|
try to be smarter when runing the second optimization
|
2020-01-20 03:33:25 +01:00 |
|
|
|
d0c2fcdb83
|
to aid the numerical solver check the positivity of 100Δ²
|
2020-01-20 03:18:51 +01:00 |
|
|
|
f984e91dd6
|
create path before logfile
|
2020-01-20 02:23:27 +01:00 |
|
|
|
25f41e6aac
|
log2 → log
|
2020-01-20 02:18:55 +01:00 |
|
|
|
57dc3bba99
|
Add DelimitedFiles to Project
|
2020-01-20 02:15:12 +01:00 |
|
