Last active
June 13, 2020 06:05
-
-
Save YasuakiHonda/9578271f57eccb2151bba3b0125ca9ed to your computer and use it in GitHub Desktop.
How to use Docker container of Maxima with Jupyter note book and asdf
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This memo describes how to use the Docker container for Maxima, Jupyter notebook, and asdf. | |
## Installation | |
First, you need to install Docker. Platforms that supports Docker are: Mac OS X, Windows 10 home and above, Linux such as Debian and Ubuntu. | |
Then you can run the docker image: | |
docker run -it --rm --name maxima-jupyter-asdf-sbcl -p 8888:8888 yasuakihonda/maxima-jupyter-asdf-sbcl jupyter notebook --ip 0.0.0.0 --allow-root | |
You will see the following message: | |
To access the notebook, open this file in a browser: | |
file:///root/.local/share/jupyter/runtime/nbserver-1-open.html | |
Or copy and paste one of these URLs: | |
http://3cf465d95f6c:8888/?token=d97c5bf01cbe0517b13c003a1d0326e92bf2ca5dd30f2d74 | |
or http://127.0.0.1:8888/?token=d97c5bf01cbe0517b13c003a1d0326e92bf2ca5dd30f2d74 | |
Use the last URL above of the address:port 127.0.0.1:8888 and past it in your Browser. Then you will see the Jupyter notebook screen. | |
Simply, the notebook server runs in the container and you access it from your local browser. | |
You can start Maxima session by clicking "new" in right above on the screen and choose Maxima as a language engine. | |
In the new Maxima session, you can do anything using Maxima commands. | |
In addition, as maxima-asdf is installed by default, you can access Maxima program repositories in Github quite easily by: | |
(%i1) install_github("YasuakiHonda","GaloisGroupSolver","master")$ | |
(%i2) asdf_load_source("solve-solvable"); | |
(%i3) SolveSolvable(x^3+2)$ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment