Das Computeralgebrasystem Axiom ist frei erhältlich, muss aber vor seiner Verwendung installiert werden. Als Alternativen zu der Hauptversion von Axiom stehen die beiden Abspaltungen OpenAxiom und FriCAS zur Verfügung. Gegenwärtig werden für FriCAS häufiger Aktualisierungen bereitgestellt als für die beiden anderen Produktlinien. FriCAS ist überdies besser als Axiom für die Verwendung mit dem Editor TexMacs vorbereitet.
Dieses Tutorial behandelt die Systeme Axiom und FriCAS, nicht aber openAxiom.
Die Repositories der meisten Linux-Systeme stellen Pakete mit einer vorcompilierten Version von Axiom bereit. Gelegentlich werden auch Pakete für OpenAxiom bereitgestellt. FriCAS muss von SourceForge heruntergeladen und manuell installiert werden.
Für die vollständige Installation von Axiom ist in einem Komandozeilenfenster einzugeben:
sudo apt-get install axiom axiom-source axiom-test axiom-tex axiom-doc axiom-graphics
Das Paket axiom-source ist
nicht unbedingt erforderlich. Es ist besonders für Anwender
interessant, die selbst für Axiom programmieren wollen und den
Wunsch haben, Programmbeispiele zu untersuchen. Falls das Paket
installiert wird, werden die Quellen im Verzeichnis
/usr/share/axiom-20170501/src/algebra
abgelegt. Es handelt sich um
1179 Dateien mit einem Gesamtumfang von 8,5 MB.
FriCAS ist von SourceForge (FriCAS) herunterzuladen. Die Seite stellt mehrere Versionen von FriCAS und vorcompilierte Programme für 32-bit- und 64-bit-Architekturen zur Verfügung. Es werden auch compilierbare Quellen bereitgestellt. Die Compilierung von FriCAS aus den bereitgestellten Quellen ist nicht Gegenstand dieses Tutorials.
Es ist sinnvoll, die neueste Version herunterzuladen.
Die heruntergeladene Archivdatei ist zu entpacken. Sie enthält das Verzeichnis usr, das seinerseits zwei Verzeichnisse entält.
sudo cp -r usr / rm -r usr
Anschliessend kann FriCAS in einem Terminalfenster gestartet werden:
fricas
Es öffnet sich ein weiteres Fenster, das die Anleitung für FriCAS bereitstellt. FriCas selbst wird in dem Terminalfenster verwendet, in dem das Programm gestartet wurde.
Mindestens auf älteren Linux-Systemen ist es möglich, TexMacs als Benutzerinterface zu Axiom zu verwenden. Der Vorteil von TexMacs ist, dass dieses Programm angenehm lesbaren mathematischen Formelsatz bietet.
Einige neuere Linux-Distributionen halten keine Installationspakete für TexMacs bereit. Dies liegt daran, dass TexMacs die Version 1.18 des Lisp-Dialekts Guile voraussetzt. Diese Version von Guile gilt als veraltet und wird in neueren Linux-Repositories nicht mehr vorgehalten. Es ist gegenwärtig nicht bekannt, ob TexMacs an eine neuere Version von Guile angepasst werden wird. |
sudo apt-get install texmacs
Für Debian 10 muss einleitend das Paket software_properites-common installiert werden, das das später benöTigte Kommando add-apt-repository bereitstellt.
sudo apt-get install software-properties-common
Sodann:
boris@buster64:~$ lsb_release -cs buster boris@buster64:~$ curl --insecure https://ftp.texmacs.org/TeXmacs/tmftp/repos/apt/apt-texmacs.asc --output apt-texmacs.asc % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 968 100 968 0 0 2960 0 --:--:-- --:--:-- --:--:-- 2960 boris@buster64:~$ sudo apt-key add apt-texmacs.asc OK boris@buster64:~$ rm apt-texmacs.asc boris@buster64:~$ sudo add-apt-repository "deb http://ftp.texmacs.org/TeXmacs/tmftp/repos/apt/ buster universe" boris@buster64:~$ sudo apt-get update OK:1 http://deb.debian.org/debian buster InRelease Holen:2 http://security.debian.org/debian-security buster/updates InRelease [65,4 kB] Holen:3 http://deb.debian.org/debian buster-updates InRelease [51,9 kB] Holen:4 http://ftp.texmacs.org/TeXmacs/tmftp/repos/apt buster InRelease [2.249 B] Ign:5 https://dl.bintray.com/sbt/debian InRelease Holen:6 https://dl.bintray.com/sbt/debian Release [815 B] Holen:7 http://security.debian.org/debian-security buster/updates/main Sources [180 kB] Holen:9 http://ftp.texmacs.org/TeXmacs/tmftp/repos/apt buster/universe amd64 Packages [1.557 B] Holen:10 http://security.debian.org/debian-security buster/updates/main amd64 Packages [271 kB] Holen:11 http://security.debian.org/debian-security buster/updates/main Translation-en [145 kB] Es wurden 718 kB in 5 s geholt (156 kB/s). Paketlisten werden gelesen... Fertig boris@buster64:~$ sudo apt-get install texmacs
...