of course it's written in Rust! But I was lowkey looking for something more Haskell-y, even Lean. And I wish the visualizations would continue throughout the chapters.
pixelpoet · 2h ago
The title is a play on https://learnyouahaskell.com so I assumed it would be in Haskell, too. (Rust is much more accessible to me though.)
defrost · 4h ago
If the goal is learning more about Groups, Fields, etc. there are several options of what to do alongside reading the text here; use the provided rust code, write code of your own in language of choice, use pre existing CAS software that has abstract algebra operations, use pencil and paper (there were not that many CAS options back in the early days of scaling the Monster Group .. it was dissected with a mix of envelopes and programs).
GAP and MAGMA a worth a look (GAP is included in other math software, eg: SAGE and is open source, MAGMA is commercial with education discounts and free student options)
And on the paid side, if you have access to it, mathematica has group theory support also and a bunch of named groups implemented right out of the box including the Monster group and the Conway groups https://reference.wolfram.com/language/guide/GroupTheory.htm...
tempodox · 2h ago
If you know Mathematica syntax, you could also try Mathics:
Make it simple. As simple as possible. But no simpler!
GAP and MAGMA a worth a look (GAP is included in other math software, eg: SAGE and is open source, MAGMA is commercial with education discounts and free student options)
* https://en.wikipedia.org/wiki/GAP_(computer_algebra_system)
* https://en.wikipedia.org/wiki/SageMath
* https://magma.maths.usyd.edu.au/magma/
* https://en.wikipedia.org/wiki/Monster_group
And on the paid side, if you have access to it, mathematica has group theory support also and a bunch of named groups implemented right out of the box including the Monster group and the Conway groups https://reference.wolfram.com/language/guide/GroupTheory.htm...
https://mathics.org