|
|
ea4c16c715
|
add morphisms.dot
|
2022-02-15 14:25:13 +01:00 |
|
|
|
d995196bf8
|
Merge pull request #9 from kalmarek/mk/update_readme
fix json url
|
2022-02-14 12:57:02 +01:00 |
|
|
|
de0bdb3575
|
fix json url
|
2022-02-14 12:56:11 +01:00 |
|
|
|
ed5ba406b9
|
Merge pull request #8 from kalmarek/mk/update_readme
Mk/update readme
|
2022-02-14 11:47:03 +01:00 |
|
|
|
91fb10742e
|
formatting
|
2022-02-13 11:38:31 +01:00 |
|
|
|
7e540e8493
|
add introduction to readme
|
2022-02-13 11:33:21 +01:00 |
|
|
|
080032356b
|
fix paths in create_json scripts
|
2022-02-12 15:29:18 +01:00 |
|
|
|
8555393004
|
rm http_server.py
|
2022-02-12 15:18:39 +01:00 |
|
|
|
8f295b8bc6
|
move script creating json to a separate folder
|
2022-02-12 15:17:30 +01:00 |
|
|
|
5736e9e8e1
|
Merge pull request #5 from kalmarek/mk/json
Mk/json
|
2022-02-12 14:50:10 +01:00 |
|
|
|
ac89ae4776
|
enable KaTeX rendering by default
|
2022-02-11 18:17:06 +01:00 |
|
|
|
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 |
|
Marek Kaluba
|
89fbf76f32
|
Merge pull request #4 from kalmarek/add_magma
Add magma
|
2021-09-20 14:19:49 +02:00 |
|
|
|
051290ed07
|
remove old code based on precomputed reps
|
2021-09-20 14:18:46 +02:00 |
|
|
|
048a35800f
|
add magma files for generating tables
|
2021-09-20 14:16:44 +02: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 |
|
