|
|
1dbf8daa60
|
add link to the morphisms page
|
2022-02-23 16:35:23 +01:00 |
|
|
|
d4349c8b0a
|
add label to search field
|
2022-02-23 16:28:46 +01:00 |
|
|
|
aa9a1cfdb6
|
cleanup
|
2022-02-23 16:28:10 +01:00 |
|
|
|
e279a0acf0
|
finally fix zoom issue
|
2022-02-23 16:26:42 +01:00 |
|
|
|
0ae4f333ed
|
add SmallHyperbolic/morphisms page
|
2022-02-22 14:33:01 +01:00 |
|
|
|
f84aa07e9e
|
add generated triangle_groups_morphisms.json
|
2022-02-22 14:30:19 +01:00 |
|
|
|
e82059e79b
|
rename connected_components.py → morphisms.py
|
2022-02-22 14:26:34 +01:00 |
|
|
|
bf3163f6bd
|
separate lib/execution of math rendering in js
|
2022-02-22 14:22:45 +01:00 |
|
|
|
bc6792e9c2
|
add python script to generate morphisms json
|
2022-02-22 14:21:01 +01:00 |
|
|
|
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 |
|
