I love the integration of SageMath to some of the examples there, but am thinking - why not have the whole thing built on top of a computer algebra system? I know it's a lot of work, but it's getting easier, and could offer a lot of value.
On a related note, I was very pleasantly surprised to stumble upon the mojo language GPU Puzzles [0] and to see that they include manim animations for many of the puzzles, and include the source for these in the repo [1]. In this case, they are entirely separate from the actual language constructs, but I imagine that it would be very feasible to have the algebraic structures fully integrated with the code for their visualizations.
[0] https://puzzles.modular.com/
[1] https://github.com/modular/mojo-gpu-puzzles/blob/main/book/s...
This is really cool. I've always found braids & knots very fascinating (Wonder if that says anything about my particular strain of Autism)
Probably (k)not.
I like them too, including the math of weaving. They are very interesting structures. I spend an unhealthy amount of time playing with my belt *, twisting and knotting them and buckling them shut... reanimating Dirac's 'trick.
I don't think I am autistic. ADHD, very likely yes.
* Try this. Hold the loop of your buckled belt, so that the buckled is in your right hand and the mid-lengths of your belt in your left hand. Keep your thumbs up and pinky down as you hold the two. Now with your thumb of your left hand, bush the top edge inwards for one half twist. Do that again. Now your belt will look quite twisted. Now exchange your hand position by moving your right hand towards left and left hand towards right. When you cross let the right hand bass below your left hand. If you do this right, there might be a surprise waiting. You might have to do it a few times to get it right. Belts have a natural variation in preferred twisting, so it might take a few tries.
Man, I got my rope out for this..