fricas_docker
=============

v1.3.1:debian ... FriCAS 1.3.1 / SBCL 1.3.15 / Debian Jessie (deleted)
v1.3.1:ubuntu ... FriCAS 1.3.1 / SBCL 1.3.15 / Ubuntu Xenial
v1.3.5:ubuntu ... FriCAS 1.3.5 / SBCL 1.4.5  / Ubuntu 18.04.1 LTS
v1.3.6:ubuntu ... FriCAS 1.3.6 / SBCL 1.4.5  / Ubuntu 20.04.1 LTS
v1.3.7:ubuntu ... FriCAS 1.3.7 / SBCL 1.4.5  / Ubuntu 20.04.3 LTS

Packages
--------
Package "deb": /root/fricas_1.3.1_amd64.deb
Extract with : docker cp (see below)

See https://hub.docker.com/r/nilqed/fricas/

Binaries
--------

https://bitbucket.org/kfp/fricas_binaries/downloads/

fricas_1.3.5_amd64.deb 	41.3 MB 	
fricas_1.3.4_amd64.deb 	40.9 MB

Install: apt install ./fricas_x.y.z_amd64.deb

===========================
Some useful Docker commands
===========================

https://docs.docker.com/engine/reference/commandline/run/

-- stop/remove all containers
docker stop $(docker ps -a -q)
docker rm $(docker ps -a -q)

-- copy container -> host
docker cp <containerId>:/file/path/within/container /host/path/target

-- remove all images
docker rmi $(docker images -q)

===
X11
===

If you want to use X11, then for example:

$ docker run -ti --rm --network=host --env DISPLAY=:0 nilqed/fricas:latest fricas

============
Pull and run
============

$ docker pull nilqed/fricas
Using default tag: latest
latest: Pulling from nilqed/fricas
38e2e6cd5626: Pull complete 
705054bc3f5b: Pull complete 
c7051e069564: Pull complete 
7308e914506c: Pull complete 
7d2d2b74b341: Pull complete 
e4fc773ac367: Pull complete 
Digest: sha256:00297a8eebe7c422ed4f8ef3f63a472e2f26950541387d6c55b47319f95adef0
Status: Downloaded newer image for nilqed/fricas:latest

$ docker images
REPOSITORY          TAG                 IMAGE ID            CREATED             SIZE
nilqed/fricas       latest              b5de5b7aae14        36 minutes ago      1.22GB


$ docker run -t -i nilqed/fricas fricas -nox
Checking for foreign routines
AXIOM="/usr/local/lib/fricas/target/x86_64-linux-gnu"
spad-lib="/usr/local/lib/fricas/target/x86_64-linux-gnu/lib/libspad.so"
foreign routines found
openServer result 0
                       FriCAS Computer Algebra System 
                            Version: FriCAS 1.3.5
                   Timestamp: Sun Feb  3 18:21:59 UTC 2019
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
 

(1) -> )version
Value = "FriCAS 1.3.5 compiled at Sun Feb  3 18:21:59 UTC 2019"
(1) -> )lisp (lisp-implementation-type)

Value = "SBCL"
(1) -> )lisp (lisp-implementation-version)

Value = "1.4.5.debian"
(1) -> )lisp (require :asdf)              

Value = ("uiop" "UIOP" "asdf" "ASDF")
(1) -> D(x^n,n,2)

              2 n
   (1)  log(x) x
                                                    Type: Expression(Integer)
(2) -> )q