在本教程中,我们学习如何安装 libbrial3 Ubuntu 22.04。 libbrial3 是布尔环上的多项式,共享库
介绍
在本教程中我们学习如何安装 libbrial3
在 Ubuntu 22.04。
什么是 libbrial3
libbrial3 是:
BRiAl 的核心是一个 C++ 库,它为布尔多项式和单项式、指数向量以及底层多项式环和布尔变量幂集的子集提供高级数据类型。 作为一种独特的方法,二元决策图被用作多项式结构的内部存储类型。 在此 C++ 库之上提供了一个 Python 接口。 这允许解析复杂的多项式系统,以及用于 Groebner 基础计算的复杂且可扩展的策略。 BRiAl 具有用于 Groebner 基础计算的强大参考实现。
该软件包包含 BRiAl 共享库 libbrial。
有三种安装方法 libbrial3
在 Ubuntu 22.04。 我们可以用 apt-get
, apt
和 aptitude
。 在以下部分中,我们将描述每种方法。 您可以选择其中之一。
使用 apt-get 安装 libbrial3
更新 apt 数据库 apt-get
使用以下命令。
更新apt数据库后,我们可以安装 libbrial3
使用 apt-get
通过运行以下命令:
sudo apt-get -y install libbrial3
使用 apt 安装 libbrial3
更新 apt 数据库 apt
使用以下命令。
更新apt数据库后,我们可以安装 libbrial3
使用 apt
通过运行以下命令:
sudo apt -y install libbrial3
使用 aptitude 安装 libbrial3
如果您想遵循此方法,您可能需要先安装 aptitude,因为 aptitude 通常不会默认安装 Ubuntu。 更新 apt 数据库 aptitude
使用以下命令。
更新apt数据库后,我们可以安装 libbrial3
使用 aptitude
通过运行以下命令:
sudo aptitude -y install libbrial3
如何卸载 libbrial3 Ubuntu 22.04
仅卸载 libbrial3
打包我们可以使用以下命令:
sudo apt-get remove libbrial3
卸载 libbrial3 及其依赖项
卸载 libbrial3
及其不再需要的依赖项 Ubuntu 22.04,我们可以使用以下命令:
sudo apt-get -y autoremove libbrial3
删除 libbrial3 配置和数据
去除 libbrial3
配置和数据来自 Ubuntu 22.04我们可以使用以下命令:
sudo apt-get -y purge libbrial3
删除 libbrial3 配置、数据及其所有依赖项
我们可以使用下面的命令来删除 libbrial3
配置、数据及其所有依赖项,我们可以使用以下命令:
sudo apt-get -y autoremove --purge libbrial3
参考
概括
在本教程中我们学习如何安装 libbrial3
封装在 Ubuntu 22.04 使用不同的包管理工具: apt
, apt-get
和 aptitude
。