绑定到parma多面体库,允许使用来自python的双重描述

pyparma的Python项目详细描述


这些是python到Parma Polyhedra Library的绑定。它们是从 为了使用sagemath项目 在非SAGE项目中。这是GPL授权的,就像Sagemath一样。

要构建它,您需要同时拥有pplgmp库 安装在distutils可以找到的地方。然后,

python setup.py build && python setup.py install

如果遇到问题,请尝试将所需的路径添加到库目录 setup.py作为扩展构造函数的关键字参数。

要使用它,只需导入模块,创建分数矩阵或 整数,并计算双精度描述!

frompyparmaimportPolyhedronimportnumpyasnpfromfractionsimportFractionfractionize=np.vectorize(lambdax:Fraction(str(x)))A=fractionize(np.random.rand(50,3))poly=Polyhedron(hrep=A)printpoly.hrep()

h表示和v表示都遵循cdd格式,即:

  • h_rep=[b a]其中多面体由b+a x>;=0
  • 定义
  • v_rep=[t v]其中v是堆叠顶点(水平 t是类型:1代表点,0代表射线/直线。

要运行测试,只需运行:

nosetests

从顶层目录。要运行测试,您需要 CDD library 安装。我假设您安装了 pycddlib绑定。

欢迎加入QQ群-->: 979659372 Python中文网_新手群

推荐PyPI第三方库


热门话题
java需要一种简单的方法来创建用于排序的comparator类   java getReadableDatabase和getWriteableDatabase无法解析   查找列表<Long>中与某个元素对应的所有索引的java方法   安卓将视图添加到ViewFlipper会导致java。StackOverflowerr语言   java根据它所包含的长“curTime”类字段将N的列表拆分为24(小时)   Android N中的Java8流API   自动生成Java策略文件的安全性   垃圾收集鼓励Java中的主要GC(但不是STW GC)   java如何检查UDP服务器上侦听的客户端数量   在前一台主机被Datastax Java驱动程序关闭后,Cassandra尝试重新连接到下一台主机   java如何使用Spring Boot创建部分代理   java是否有一个网站或资源可以完全比较EJB版本   java无需使用第三方库从gradle生成输出   继承由于这个多态性的基本示例中的语法有什么不同吗?(爪哇)   java字符串数组中的空字符串   java为什么CMS中的初始标记阶段是串行的   为什么Lucene有时与InChIKeys不匹配?   安卓通知Java应用程序数据库中的更改   java如何将单个json对象值解析为按钮   java打印堆栈将运行时错误跟踪到文件