How To Install postgresql-10-pgmp on Ubuntu 18.04
Introduction
In this tutorial we learn how to install postgresql-10-pgmp on Ubuntu 18.04.
What is postgresql-10-pgmp
postgresql-10-pgmp is:
pgmp is a PostgreSQL extension to add the GMP data types and functions directly into the database.
The extension adds the types mpz (arbitrary size integers) and mpq (arbitrary precision rationals) to PostgreSQL and exposes to the database all the functions available in the GMP library for these data types, allowing:
- higher performance arithmetic on integers respect to the numeric data type
- a rational data type for absolute precision storage and arithmetic
- using specialized functions to deal with prime numbers, random numbers, factorization directly into the database.
There are three methods to install postgresql-10-pgmp 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 postgresql-10-pgmp Using apt-get
Update apt database with apt-get using the following command.
sudo apt-get update
After updating apt database, We can install postgresql-10-pgmp using apt-get by running the following command:
sudo apt-get -y install postgresql-10-pgmp
Install postgresql-10-pgmp Using apt
Update apt database with apt using the following command.
sudo apt update
After updating apt database, We can install postgresql-10-pgmp using apt by running the following command:
sudo apt -y install postgresql-10-pgmp
Install postgresql-10-pgmp 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 postgresql-10-pgmp using aptitude by running the following command:
sudo aptitude -y install postgresql-10-pgmp
How To Uninstall postgresql-10-pgmp on Ubuntu 18.04
To uninstall only the postgresql-10-pgmp package we can use the following command:
sudo apt-get remove postgresql-10-pgmp
Uninstall postgresql-10-pgmp And Its Dependencies
To uninstall postgresql-10-pgmp and its dependencies that are no longer needed by Ubuntu 18.04, we can use the command below:
sudo apt-get -y autoremove postgresql-10-pgmp
Remove postgresql-10-pgmp Configurations and Data
To remove postgresql-10-pgmp configuration and data from Ubuntu 18.04 we can use the following command:
sudo apt-get -y purge postgresql-10-pgmp
Remove postgresql-10-pgmp configuration, data, and all of its dependencies
We can use the following command to remove postgresql-10-pgmp configurations, data and all of its dependencies, we can use the following command:
sudo apt-get -y autoremove --purge postgresql-10-pgmp
References
Summary
In this tutorial we learn how to install postgresql-10-pgmp package on Ubuntu 18.04 using different package management tools: apt, apt-get and aptitude.
