search

margollo / GAP-code-for-abelianization-of-unit-groups

GAP code which can be used to verify claculations in [ A. Bächle, S. Maheshwary and L. Margolis; Abelianization of the unit group of an integral group ring ; Pacific Journal of Mathematics 321 (2), 309-334, 2021], arXiv: 2004.03173
1 stars 0 forks source link

Publishing reproducible GAP experiment on Binder #1

Open olexandr-konovalov opened 4 years ago

olexandr-konovalov commented 4 years ago

Just seen this in your preprint at https://arxiv.org/abs/2004.03173. Perhaps you will find useful this template for publishing reproducible GAP experiments in Jupyter notebooks runnable on Binder: https://github.com/rse-standrewscs/gap-binder-template.

You can see examples of repositories using it here:

I am happy to help to set this up.

olexandr-konovalov commented 3 years ago

Hi @MSugandha @margollo @abachle - the mentioned Jupyter example (https://github.com/rse-standrewscs/gap-binder-template) evolved a little bit, and also has some more examples of using this technique. I've recently added one more in which I followed the proof by Giles Gardam in "A counterexample to the unit conjecture for group rings" (https://arxiv.org/abs/2102.11818) to provide an independent verification of the calculations in GAP - which you can now re-run in the cloud from https://github.com/alex-konovalov/Kaplansky-units-counterexample.

I think this would be very helpful for sharing experiments using HeLP package, installation of which is non-trivial (dependencies require normaliz, 4ti2, glpk, etc.). I will be happy to set up a call and show how to do this - please let me know!