-
Notifications
You must be signed in to change notification settings - Fork 0
Installation from sources in Fedora
This page describes the installation of Singular from the sources of the latest release on Fedora based systems.
Use this if you want the latest release and cannot use binaries. Do not use this if you want to contribute to Singular.
This version of the instructions was tested on Fedora 19 for Singular 4.
- Install the necessary packages:
(requires root privileges, if you do not have root access, ask your administator to install these packages)
a. Tools necessary to compile Singular:
* sudo yum install gcc
* sudo yum install gcc-c++
* sudo yum install autoconf
* sudo yum install autogen
* sudo yum install libtool
* sudo yum install readline-devel
b. Scientific libraries used by Singular:
* sudo yum install gmp-devel
* sudo yum install mpfr-devel
* sudo yum install cddlib-devel
* sudo yum install ntl-devel
c. Third party math software called by Singular:
* sudo yum install graphviz
(visualization of graphs)
-
Clone Singular from the git repository:
Create a directory for the Singular binaries, we use here
Singular4
in your home directory:cd
mkdir Singular4
Create a directory for the Singular sources, we use here
git/Singular4
in your home directory:mkdir tmp
mkdir sources
cd sources
mkdir Singular4
cd Singular4
Download Singular from the git repository:
wget ftp://www.mathematik.uni-kl.de/pub/Math/Singular/src/4-0-0/singular-4.0.0.tar.gz
tar xvfz singular-4.0.0.tar.gz
Although you can now compile Singular, we strongly recommend to install FLINT (otherwise some features will not be available).
-
Download and build Flint:
Create a directory and download Flint:
mkdir flint
cd flint
wget ftp://www.mathematik.uni-kl.de/pub/Math/Singular/src/4-0-0/flint-2.4-beta1.tar.gz
tar xvfz flint-2.4-beta1.tar.gz
cd flint-2.4
Compile Flint and install into the folder tmp in your home directory
./configure --with-gmp=/usr --prefix=$HOME/tmp --disable-shared --with-mpfr=/usr
make -j 2
make install
Return to the folder Singular4
cd ../../
-
Download and install 4ti2 (used by some Singular commands for lattice computations):
Create a directory and download 4ti2:
mkdir 4ti2
cd 4ti2
wget http://www.4ti2.de/version_1.6/4ti2-1.6.tar.gz
tar xvfz 4ti2-1.6.tar.gz
cd 4ti2-1.6
Compile 4ti2:
./configure
make
-
sudo make install
(requires root permissions, if you don't have ask your administrator to install 4ti2)
Return to the folder Singular4:
cd ../../
-
Compile Singular:
We specify the location of Flint (tmp in your home directory) and the location to install the Singular binaries (Singular4 in your home directory).
We also build the gfanlib extension for convex polyhedral computations. To load this extension in Singular, do
LIB "gfanlib.so";
:cd singular-4.0.0
./configure --with-flint=$HOME/tmp --enable-gfanlib --prefix=$HOME/Singular4
make -j 2
make install
-
Run the Singular binary:
This should be located in the folder Singular4 in your home directory.
cd
./Singular4/bin/Singular