|
|
a08a59a7e1
|
final version of html/json
|
2022-02-11 18:12:24 +01:00 |
|
|
|
7a5cc702a1
|
Merge pull request #6 from kalmarek/enh/public_html
Enh/public html
|
2022-02-10 13:53:43 +01:00 |
|
|
|
07a2744af4
|
add a few bells and whistles
|
2022-02-06 01:57:18 +01:00 |
|
|
|
13ea973ae4
|
wip: public_html
|
2022-02-05 22:21:35 +01:00 |
|
|
|
450e1244cb
|
update json
|
2022-02-05 15:38:58 +01:00 |
|
|
|
f2eb4962f3
|
add utf8 pretty printing
|
2022-01-24 12:46:01 +01:00 |
|
|
|
3951857acc
|
sanitize group names
|
2022-01-24 12:25:40 +01:00 |
|
|
|
afdb05b958
|
add generated json
|
2022-01-18 11:34:50 +01:00 |
|
|
|
404ed139c2
|
rename fields in TriangleGrp
|
2022-01-18 11:34:49 +01:00 |
|
|
|
791295f33c
|
delegate parsing hyperbolicity et al to a function
|
2022-01-18 11:34:48 +01:00 |
|
|
|
9d6415dcb8
|
fix _tf_missing
|
2022-01-18 11:34:47 +01:00 |
|
|
|
8339cbd5cf
|
format groupparse
|
2022-01-18 02:20:23 +01:00 |
|
|
|
6a112e15fd
|
flatten and prettify json
|
2022-01-18 02:19:50 +01:00 |
|
|
|
adda6845b5
|
add type to TriangleGrp
|
2022-01-18 02:17:19 +01:00 |
|
|
|
9319fb2186
|
add script to generate json
|
2022-01-17 22:36:58 +01:00 |
|
|
|
9312637873
|
add TriangleGrp for parsing purposes
|
2022-01-17 21:50:33 +01:00 |
|
|
|
b8ed94adf3
|
add new parsing of presentation
|
2022-01-17 21:49:49 +01:00 |
|
|
|
1899c7b5d8
|
add tables csv by Stefan
|
2022-01-17 21:46:14 +01:00 |
|
|
|
fbb0008457
|
split parse_magma_fpgroup to get gens/rels as strings
|
2022-01-17 20:31:26 +01:00 |
|
switzel
|
44ebfad5e4
|
Merge pull request #3 from kalmarek/enh/arblib.jl
Enh/arblib.jl
|
2020-11-16 13:14:30 +01:00 |
|
|
|
acce80e5bd
|
the printed λ, ε, α, α_deg are now certified
|
2020-11-14 20:40:33 +01:00 |
|
|
|
2effd731bc
|
add --precision to argument list
|
2020-11-14 20:38:34 +01:00 |
|
|
|
89c8009083
|
update script to use Arblib
|
2020-11-14 20:38:04 +01:00 |
|
|
|
ae027329be
|
import isprime
|
2020-11-14 19:24:12 +01:00 |
|
|
|
e01421ace9
|
migrate eigenvalues to Arblib.jl
|
2020-11-14 19:23:21 +01:00 |
|
switzel
|
8aa4eb9668
|
Merge pull request #1 from kalmarek/fix/missing_ArgParse
add ArgParse
|
2020-09-21 23:27:11 +02:00 |
|
|
|
a59b4dc108
|
add ArgParse
|
2020-09-21 22:00:56 +02:00 |
|
Stefan Witzel
|
4a11bf3b68
|
Merge parameters as arguments and better logging.
|
2020-09-21 21:00:23 +02:00 |
|
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
|
8e1b410d41
|
Also take both generators in a single argument.
|
2020-09-03 11:35:33 +02:00 |
|
Stefan Witzel
|
ef6f5db7c7
|
Generators as optional argument.
|
2020-09-03 10:58:44 +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 |
|
