如何安装gap-libs Ubuntu 18.04

在本教程中,我们学习如何安装gap-libs Ubuntu 18.04。 gap-libs是GAP计算机代数系统,必备的GAP库

介绍

在本教程中我们学习如何安装 gap-libs 在 Ubuntu 18.04。

什么是 gap-libs

间隙库是:

GAP 是一个计算离散代数系统,特别强调计算群论。 GAP 提供了一种编程语言、一个包含数千个用 GAP 语言编写的实现代数算法的函数的库以及代数对象的大型数据库。 GAP 用于研究群及其表示、环、向量空间、代数、组合结构等的研究和教学。

该软件包包含必要的 GAP 库(lib 和 grp)。

有三种安装方法 gap-libs 在 Ubuntu 18.04。 我们可以用 apt-get, aptaptitude。 在以下部分中,我们将描述每种方法。 您可以选择其中之一。

使用 apt-get 安装间隙库

更新 apt 数据库 apt-get 使用以下命令。

更新apt数据库后,我们可以安装 gap-libs 使用 apt-get 通过运行以下命令:

sudo apt-get -y install gap-libs

使用 apt 安装间隙库

更新 apt 数据库 apt 使用以下命令。

更新apt数据库后,我们可以安装 gap-libs 使用 apt 通过运行以下命令:

sudo apt -y install gap-libs

使用 aptitude 安装gap-libs

如果您想遵循此方法,您可能需要先安装 aptitude,因为 aptitude 通常不会默认安装 Ubuntu。 更新 apt 数据库 aptitude 使用以下命令。

更新apt数据库后,我们可以安装 gap-libs 使用 aptitude 通过运行以下命令:

sudo aptitude -y install gap-libs

如何卸载gap-libs Ubuntu 18.04

仅卸载 gap-libs 打包我们可以使用以下命令:

sudo apt-get remove gap-libs

卸载gap-libs及其依赖项

卸载 gap-libs 及其不再需要的依赖项 Ubuntu 18.04,我们可以使用以下命令:

sudo apt-get -y autoremove gap-libs

删除gap-libs配置和数据

去除 gap-libs 配置和数据来自 Ubuntu 18.04我们可以使用以下命令:

sudo apt-get -y purge gap-libs

删除gap-libs配置、数据及其所有依赖项

我们可以使用下面的命令来删除 gap-libs 配置、数据及其所有依赖项,我们可以使用以下命令:

sudo apt-get -y autoremove --purge gap-libs

参考

概括

在本教程中我们学习如何安装 gap-libs 封装在 Ubuntu 18.04 使用不同的包管理工具: apt, apt-getaptitude