如何安装gap-gapdoc Ubuntu 18.04

在本教程中,我们学习如何安装gap-gapdoc Ubuntu 18.04。 gap-gapdoc 是 GAPDoc – GAP 文档的元包

介绍

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

什么是 gap-gapdoc

间隙间隙文档是:

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

该软件包包含 GAPDoc,“A Meta Package for GAP Documentation”,由 Frank Lübeck 和 Max Neunhöffer 编写,用于管理 GAP 文档。

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

使用 apt-get 安装gap-gapdoc

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

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

sudo apt-get -y install gap-gapdoc

使用apt安装gap-gapdoc

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

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

sudo apt -y install gap-gapdoc

使用 aptitude 安装gap-gapdoc

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

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

sudo aptitude -y install gap-gapdoc

如何卸载gap-gapdoc Ubuntu 18.04

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

sudo apt-get remove gap-gapdoc

卸载gap-gapdoc及其依赖项

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

sudo apt-get -y autoremove gap-gapdoc

删除gap-gapdoc配置和数据

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

sudo apt-get -y purge gap-gapdoc

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

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

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

参考

概括

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