How To Install libsollya6 on Ubuntu 18.04

In this tutorial we learn how to install libsollya6 on Ubuntu 18.04. libsollya6 is library for safe floating-point code development – lib

Introduction

In this tutorial we learn how to install libsollya6 on Ubuntu 18.04.

What is libsollya6

libsollya6 is:

Sollya is both a tool environment and a library for safe floating-point code development. It offers a convenient way to perform computations with multiple precision interval arithmetic. It is particularly targeted to the automated implementation of mathematical floating-point libraries.

Initially, Sollya was intended more specifically for people implementing numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.). Since then, the tool has evolved and has now become interesting not only to developers of mathematical libraries, but also to everyone who needs to perform numerical experiments in an environment that is safe with respect to round-off errors.

This package provides the dynamic library.

There are three methods to install libsollya6 on Ubuntu 18.04. We can use apt-get, apt and aptitude. In the following sections we will describe each method. You can choose one of them.

Install libsollya6 Using apt-get

Update apt database with apt-get using the following command.

sudo apt-get update

After updating apt database, We can install libsollya6 using apt-get by running the following command:

sudo apt-get -y install libsollya6

Install libsollya6 Using apt

Update apt database with apt using the following command.

sudo apt update

After updating apt database, We can install libsollya6 using apt by running the following command:

sudo apt -y install libsollya6

Install libsollya6 Using aptitude

If you want to follow this method, you might need to install aptitude first since aptitude is usually not installed by default on Ubuntu. Update apt database with aptitude using the following command.

sudo aptitude update

After updating apt database, We can install libsollya6 using aptitude by running the following command:

sudo aptitude -y install libsollya6

How To Uninstall libsollya6 on Ubuntu 18.04

To uninstall only the libsollya6 package we can use the following command:

sudo apt-get remove libsollya6

Uninstall libsollya6 And Its Dependencies

To uninstall libsollya6 and its dependencies that are no longer needed by Ubuntu 18.04, we can use the command below:

sudo apt-get -y autoremove libsollya6

Remove libsollya6 Configurations and Data

To remove libsollya6 configuration and data from Ubuntu 18.04 we can use the following command:

sudo apt-get -y purge libsollya6

Remove libsollya6 configuration, data, and all of its dependencies

We can use the following command to remove libsollya6 configurations, data and all of its dependencies, we can use the following command:

sudo apt-get -y autoremove --purge libsollya6

References

Summary

In this tutorial we learn how to install libsollya6 package on Ubuntu 18.04 using different package management tools: apt, apt-get and aptitude.