The Singular repository provides a user-friendly installation of Singular on Debian and Ubuntu systems with the APT package tool. The following installation instructions require superuser privileges and internet connection.

Some OS versions require the following line to enable FTP transport in /etc/apt/apt.conf or a file in /etc/apt/apt.conf.d/:

Dir::Bin::Methods::ftp "ftp";

Ubuntu 20.04/22.04/24.04

Singular can be found in the official Ubuntu 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 https://www.singular.uni-kl.de/ftp/repo/extra/gpg
    apt-key add gpg
  • add (for 20.04)
    deb https://www.singular.uni-kl.de/ftp/repo/ubuntu20 focal main
    to /etc/apt/sources.list
  • add (for 22.04)
    deb https://www.singular.uni-kl.de/ftp/repo/ubuntu22 jammy main
    to /etc/apt/sources.list
  • add (for 24.04)
    deb https://www.singular.uni-kl.de/ftp/repo/ubuntu24 noble main
    to /etc/apt/sources.list
  • apt-get update
  • apt-get install singular41

The package name remains singular41; the repository currently provides Singular 4.4.1. Note that the two packages singular and singular41 conflict with each other.

Debian 11/12/13

  • add GPG key:
    wget https://www.singular.uni-kl.de/ftp/repo/extra/gpg
    apt-key add gpg
  • add (for debian11)
    deb https://www.singular.uni-kl.de/ftp/repo/debian11 bullseye main
    to /etc/apt/sources.list
  • add (for debian12)
    deb https://www.singular.uni-kl.de/ftp/repo/debian12 bookworm main
    to /etc/apt/sources.list
  • add (for debian13)
    deb https://www.singular.uni-kl.de/ftp/repo/debian13 trixie 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.

Original page in the preserved old site: index.php/singular-download/110.html.