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
_______________________________________________
Forum mailing list
Forum@gap-system.org
https://mail.gap-system.org/mailman/listinfo/forum
