The Singular repository provides a user-friendly installation of Singular on a Debian or Debian like system (such as Knoppix, Ubuntu etc.) with installed package tool APT. Just follow the below instructions matching your package tool.
The following installation instructions require superuser privileges and internet connection.
Step-by-step instructions for Debian 10/11 (only 64 bit):
- add GPG key:
wget ftp://jim.mathematik.uni-kl.de/repo/extra/gpg
apt-key add gpg
- add (for debian10)
deb ftp://jim.mathematik.uni-kl.de/repo/debian10 buster main
to/etc/apt/sources.list
- add (for debian11)
deb ftp://jim.mathematik.uni-kl.de/repo/debian11 bullseye main
to/etc/apt/sources.list
apt-get update
apt-get install singular41
- An old version of Singular can be found in the official repositories. Note that the two versions conflict with each other.
For Ubuntu 16.04, Singular can be found in the official repository:
apt-get update
apt-get install singular
However, this will most probably not install the latest version. For the latest version, manually install Singular via TGZ, or follow these instructions (only 64 bit):
- add GPG key:
wget ftp://jim.mathematik.uni-kl.de/repo/extra/gpg
apt-key add gpg
- add
deb ftp://jim.mathematik.uni-kl.de/repo/ubuntu16 xenial main
to/etc/apt/sources.list
apt-get update
apt-get install singular41
Note that the two packages singular
and singular41
conflict with each other.
For Ubuntu 18.04, 20.04, 22.04 Singular can be found in the official repository:
apt-get update
apt-get install singular
However, this will most probably not install the latest version. For the latest version, manually install Singular via TGZ, or follow these instructions (only 64 bit):
- add GPG key:
wget ftp://jim.mathematik.uni-kl.de/repo/extra/gpg
apt-key add gpg
- add (for 18.04)
deb ftp://jim.mathematik.uni-kl.de/repo/ubuntu18 bionic main
to/etc/apt/sources.list
add (for 20.04)
deb ftp://jim.mathematik.uni-kl.de/repo/ubuntu20 focal main
to/etc/apt/sources.list
add (for 22.04)
deb ftp://jim.mathematik.uni-kl.de/repo/ubuntu22 jammy main
to/etc/apt/sources.list
apt-get update
apt-get install singular41
Note that the two packages singular
and singular41
conflict with each other.