soehms/sagemath_knots repository overview

⁠Base image

The images in this repository are build on images⁠ of stable releases of SageMath⁠ with the corresponding tag. In addition a couple of optional packages is available which are interesting with respect to knot theory. You will need 3.5 GB of free disk space.

⁠Optional packages

• database_knotinfo⁠ an interface of Sage⁠ to the KnotInfo⁠ and LinkInfo⁠ databases.
• database_cubic_hecke⁠ an extension to Sage's Cubic Hecke algebra⁠ -functionality.
• snappy⁠ a Python wrapper of SnapPy⁠, a program for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures.
• regina⁠ a Python wrapper for the Regina⁠ software for low dimensional topology.
• gap3⁠ a Sage interface to Gap3⁠ (needed for example for the cubic Hecke algebra).

If this sounds interesting to you, but you don't have Docker installed and don't want to, you should check out a corresponding Gitpod workspace⁠.

⁠How to use

If you don't have Docker installed on your device, please follow the installation instructions⁠ to do that.

To run Sage in a command-line session⁠ type:

docker run -it soehms/sagemath_knots:latest

You can start a graphical Jupyter Notebook⁠ in your browser, as well. To use the notebook, follow the instructions printed when you run:

docker run -p8888:8888 soehms/sagemath_knots:latest sage-jupyter

In both cases you may replace latest by any other tag if you prefer a special older version.

⁠Using intermediate results

If you have used the save⁠ command to keep your results persistent for usage in an other session via the load⁠ command you have to start the container of the session in which you saved the data.

To find the name or the id of that container type:

docker ps -as | grep sagemath_knots

Example output:

e91d0d4adb71   soehms/sagemath_knots:latest   "/usr/local/bin/sage…"   9 minutes ago   Exited (0) 42 seconds ago              gallant_euclid        53.5MB (virtual 3.52GB)

Here the name is gallant_euclid and the id is e91d0d4adb71. To continue your work you have to start the container first and than attach to it:

docker start e91d0d4adb71
docker attach e91d0d4adb71

Instead of the id you can also use the name. The name can be replaced to something else you prefer, for example:

docker rename gallant_euclid my_first_sage_session
docker ps -as | grep sagemath_knots

Output:

e91d0d4adb71   soehms/sagemath_knots:latest   "/usr/local/bin/sage…"   11 minutes ago    Exited (0) 32 seconds ago              my_first_sage_session   53.5MB (virtual 3.52GB)