go to www.bildungsgueter.de Inhaltsverzeichnis

Axiom

Installation erforderlicher Software


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:

Installation von Axiom

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.

Installation von FriCAS

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.

TexMacs als Benutzerinterface für Axiom

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.

Hinweis

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

Axiom für die Verwendung mit TexMacs konfigurieren

...


zum Inhaltsverzeichnis