How To Install gap-gapdoc on Ubuntu 18.04
Introduction
In this tutorial we learn how to install gap-gapdoc on Ubuntu 18.04.
What is gap-gapdoc
gap-gapdoc is:
GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more.
This package contains GAPDoc, “A Meta Package for GAP Documentation”, by Frank Lübeck and Max Neunhöffer, which is used to manage GAP documentation.
There are three methods to install gap-gapdoc 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 gap-gapdoc Using apt-get
Update apt database with apt-get using the following command.
sudo apt-get update
After updating apt database, We can install gap-gapdoc using apt-get by running the following command:
sudo apt-get -y install gap-gapdoc
Install gap-gapdoc Using apt
Update apt database with apt using the following command.
sudo apt update
After updating apt database, We can install gap-gapdoc using apt by running the following command:
sudo apt -y install gap-gapdoc
Install gap-gapdoc 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 gap-gapdoc using aptitude by running the following command:
sudo aptitude -y install gap-gapdoc
How To Uninstall gap-gapdoc on Ubuntu 18.04
To uninstall only the gap-gapdoc package we can use the following command:
sudo apt-get remove gap-gapdoc
Uninstall gap-gapdoc And Its Dependencies
To uninstall gap-gapdoc and its dependencies that are no longer needed by Ubuntu 18.04, we can use the command below:
sudo apt-get -y autoremove gap-gapdoc
Remove gap-gapdoc Configurations and Data
To remove gap-gapdoc configuration and data from Ubuntu 18.04 we can use the following command:
sudo apt-get -y purge gap-gapdoc
Remove gap-gapdoc configuration, data, and all of its dependencies
We can use the following command to remove gap-gapdoc configurations, data and all of its dependencies, we can use the following command:
sudo apt-get -y autoremove --purge gap-gapdoc
References
Summary
In this tutorial we learn how to install gap-gapdoc package on Ubuntu 18.04 using different package management tools: apt, apt-get and aptitude.
