PolyBoRi 是作为C++环的多面体库实现的,它为布尔多语种提供了高级数据类型。python 接口生成可扩展的算法,用于计算 Groebner 基于布尔环。
版本历史记录
- 版本 0.7.0 发布于 2011-02-25
若干修复和更新 - 版本 0.7.0 发布于 2011-02-25
软件信息
- 软件分类: 教育 > 其他
- 发布者: polybori.sf.net
- 许可: 免费
- 价格: N/A
- 版本: 0.7.0
- 适用平台: linux
PolyBoRi 是作为C++环的多面体库实现的,它为布尔多语种提供了高级数据类型。python 接口生成可扩展的算法,用于计算 Groebner 基于布尔环。