3 ms·

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 ch

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.

defrost 1y 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) * https://en.wikipedia.org/wiki/GAP_(computer_algebra_system) https://en.wikipedia.org/wiki/GAP_(computer_algebra_system) * https://en.wikipedia.org/wiki/SageMath https://en.wikipedia.org/wiki/SageMath * https://magma.maths.usyd.edu.au/magma/ https://magma.maths.usyd.edu.au/magma/ * https://en.wikipedia.org/wiki/Monster_group https://en.wikipedia.org/wiki/Monster_group
- seanhunter 1y ago
  Another FOSS option is maxima, although like everything else in maxima, support for group theory is a bit weird and isn’t exactly comprehensive. https://maxima.sourceforge.io/docs/manual/maxima_151.html https://maxima.sourceforge.io/docs/manual/maxima_151.html and https://maxima.sourceforge.io/docs/manual/maxima_147.html#Item_003a-Symmetries_002fnode_002fIntroduction-to-Symmetries https://maxima.sourceforge.io/docs/manual/maxima_147.html#It... 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.html https://reference.wolfram.com/language/guide/GroupTheory.htm...
- tempodox 1y ago
  If you know Mathematica syntax, you could also try Mathics: https://mathics.org https://mathics.org
pixelpoet 1y ago
The title is a play on https://learnyouahaskell.com https://learnyouahaskell.com so I assumed it would be in Haskell, too. (Rust is much more accessible to me though.)
- CRConrad 1y ago
  Wich in turn is a play on some badly-translated Japanese video game, I'd guess? Certainly sounds rather like "All your base are belong to us." and "For great Justice!"

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.

defrost 1y 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) * https://en.wikipedia.org/wiki/GAP_(computer_algebra_system) https://en.wikipedia.org/wiki/GAP_(computer_algebra_system) * https://en.wikipedia.org/wiki/SageMath https://en.wikipedia.org/wiki/SageMath * https://magma.maths.usyd.edu.au/magma/ https://magma.maths.usyd.edu.au/magma/ * https://en.wikipedia.org/wiki/Monster_group https://en.wikipedia.org/wiki/Monster_group

seanhunter 1y ago
Another FOSS option is maxima, although like everything else in maxima, support for group theory is a bit weird and isn’t exactly comprehensive. https://maxima.sourceforge.io/docs/manual/maxima_151.html https://maxima.sourceforge.io/docs/manual/maxima_151.html and https://maxima.sourceforge.io/docs/manual/maxima_147.html#Item_003a-Symmetries_002fnode_002fIntroduction-to-Symmetries https://maxima.sourceforge.io/docs/manual/maxima_147.html#It... 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.html https://reference.wolfram.com/language/guide/GroupTheory.htm...
tempodox 1y ago
If you know Mathematica syntax, you could also try Mathics: https://mathics.org https://mathics.org

pixelpoet 1y ago

The title is a play on https://learnyouahaskell.com https://learnyouahaskell.com so I assumed it would be in Haskell, too. (Rust is much more accessible to me though.)

CRConrad 1y ago
Wich in turn is a play on some badly-translated Japanese video game, I'd guess? Certainly sounds rather like "All your base are belong to us." and "For great Justice!"