|
f84aa07e9e
|
add generated triangle_groups_morphisms.json
|
2022-02-22 14:30:19 +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 |
|
|
8f295b8bc6
|
move script creating json to a separate folder
|
2022-02-12 15:17:30 +01:00 |
|
|
a08a59a7e1
|
final version of html/json
|
2022-02-11 18:12:24 +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 |
|
|
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 |
|
|
12d0bd897f
|
add two 555 examples
|
2020-04-23 16:45:32 +02:00 |
|
|
9c9b9b5e37
|
add 244 groups
|
2020-03-31 23:26:55 +02: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 |
|
|
ce1f551224
|
better parsing of group presentations
|
2020-01-27 14:25:59 +01:00 |
|
|
d36c949d36
|
add magma representations && parsing
|
2019-12-18 00:33:01 +01:00 |
|