UniMath
Icosahedral group
Define the icosahedron and identify the (abstract) group of its symmetries.
I've now defined the icosahedron in commit 2c1d48b (see Sec. 9.4). I also made a figure, but I don't like how flat it looks. Later we should figure out a way to improve the depth while still having a vector image. (Maybe asymptote with the bsp module?)
Anyway, I also put an icosahedron on our gh-pages here
Is there a way, with tikz, to make the things that are behind other things look dimmer? That might make it look more 3-d. The icosahedron on the gh-pages looks good.
TikZ doesn't really do any 3d calculations (z-order/occlusion/etc.). It seems possible to add shading to indicate direction of light. Or we could calculate this in some other program. (BTW in 71b5aec I added the julia program I've been playing with.)
If we calculate things ourselves, we could also use proper 2 or 3-point perspective instead of an orthogonal projection, which might help.
Here are two tests: (1) TikZ with some opacity adjustments: test.pdf , (2) Asymptote with z-ordering: test-asy.pdf
I've updated the figures in the book. You can also play with the code in this file: test.zip
BTW, I've put an interactive version of the cayley diagram of the icosahedral group (wrt vertex and edge rotations) on our gh-pages here.
Happy New Year to all.
Is the Monday slot still active or is it Thursday?
Bjorn
On Dec 23, 2020, at 17:44, Ulrik Buchholtz [email protected] wrote:
I've updated the figures in the book. You can also play with the code in this file: test.zip
BTW, I've put an interactive version of the cayley diagram of the icosahedral group (wrt vertex and edge rotations) on our gh-pages here.
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or unsubscribe.
Is the Monday slot still active or is it Thursday?
Happy New Year, @bidundas ! It's been Thursdays 16:15 CET for a while. But we can reschedule since it's a new semester for many, if that doesn't work.
Hi! Seems I’m free on Thursday 16 this semester, so I’ll see you all then.
Bjorn
On Jan 4, 2021, at 10:30, Ulrik Buchholtz [email protected] wrote:
Is the Monday slot still active or is it Thursday?
Happy New Year, @bidundas ! It's been Thursdays 16:15 CET for a while. But we can reschedule since it's a new semester for many, if that doesn't work.
— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or unsubscribe.