Singular

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/12 (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
• add (for debian11)
  deb ftp://jim.mathematik.uni-kl.de/repo/debian12 bookworm 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.