[GAP Forum] GAP Docker container and sharing reproducible GAP Jupyter notebooks

[Alexander Konovalov]

Dear GAP Forum,

The Docker container for GAP has been updated for GAP 4.11.1: 

	https://github.com/gap-system/gap-docker

You may be interested to use it when you are unable to run some 
GAP package natively on your machine due to missing dependencies. 

However, out two major uses of Docker are for automated testing, 
and for sharing computational experiments made with GAP in the 
form of reproducible GAP Jupyter notebooks.

You can try GAP Jupyter notebook by clicking on the "launch binder" 
button here:

	https://github.com/gap-system/try-gap-in-jupyter

A more detailed example, which you can use as a template for your
own experiments, is available here:

	https://github.com/rse-standrewscs/gap-binder-template

Its README has links to some examples of using this technique,
including at the moment:

- OpenDreamKit GAP demos, which demonstrate various graphical
capabilities available in GAP Jupyter notebolks

- https://github.com/sukru-yalcinkaya/unipoly which constructs
a unipotent element in the groups SO(3,q)=PGL(2,q), q odd, as 
explained in the Journal of Algebra paper “Adjoint representations 
of black box groups PSL(2,q), q odd” by Alexandre Borovik and 
Şükrü Yalçınkaya (https://doi.org/10.1016/j.jalgebra.2018.02.022).
You can also run that notebook as a reveal.js-style slideshow,
using the RISE slideshow button (You can also view the the notebook at
https://github.com/sukru-yalcinkaya/unipoly/blob/master/unipoly.ipynb
rendered on GitHub, but to run it you need to launch it on binder).

- https://github.com/alex-konovalov/Kaplansky-units-counterexample
in which I've attempted to follow the proof by Giles Gardam in his
recent preprint "A counterexample to the unit conjecture for group 
rings" (https://arxiv.org/abs/2102.11818) and provide an independent
verification of the calculations in GAP. The notebook can be viewed at
https://github.com/alex-konovalov/Kaplansky-units-counterexample/blob/main/counterexample.ipynb

and also materials for the course "Álgebra conmutativa y computacional"
by Pedro García-Sánchez and demonstrations of the YAGS (Yet Another Graph
System) package.

If you have any questions, would like to learn more, and are interested
in using this to share your code, please let me know - I will be happy
to help. I will also be grateful for examples which I can add to the 
list at https://github.com/rse-standrewscs/gap-binder-template

Best wishes
Alexander