关于PolyBoRi

PolyBoRi的核心是一个C++库，它为布尔多项式和单项式、指数向量以及布尔幂集的基本多项式环和子集变量。作为一种独特的方法，二进制决策图是用作多项式结构的内部存储类型。

在这个C++库的顶部，我们提供了一个Python接口。这允许解析复杂多项式系统，以及复杂和可扩展的策略用于Gröbner基计算。PolyBoRi具有强大的参考Gröbner基计算的实现。

我们在现有优化包的基础上构建数学功能：

• CUDD公司（决策图库）
• M4RI系列（快速稠密线性代数）

下载/Sage-Interface

PolyBoRi是数学软件的Sage分布.安装和使用PolyBoRi通孔圣人是首选方式.或者，我们自己的Python接口可以在我们的下载页面.可以找到一些发行版的预构建rpm包在openSuSE构建服务中.