Online Textbook for Braid groups and knots and tangles

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)

Man, I got my rope out for this..