Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/python/359.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181

Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/c/67.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Python 如何在顶点枚举的浮点算法和精确算法之间进行选择?_Python_C_Computational Geometry_Gmp - Fatal编程技术网

Python 如何在顶点枚举的浮点算法和精确算法之间进行选择?

Python 如何在顶点枚举的浮点算法和精确算法之间进行选择?,python,c,computational-geometry,gmp,Python,C,Computational Geometry,Gmp,我使用pycddlib(Komei Fukuda的cddlib的Python包装器)生成由线性不等式给出的多面体的所有顶点。为了防止由浮点运算引起的计算不准确,我想使用精确运算。在cddlib中,据说 当观察到一些奇怪的行为时,明智的做法是创建输入的有理近似值(例如,可以将0.3333333替换为1/3),并使用GMP rational编译的cddlib进行计算,以查看正确的行为应该是什么。当时间不重要时,使用GMP有理算法更安全 通过定义不等式,可以选择分数而不是浮点:mat=cdd.Matr

我使用pycddlib(Komei Fukuda的cddlib的Python包装器)生成由线性不等式给出的多面体的所有顶点。为了防止由浮点运算引起的计算不准确,我想使用精确运算。在cddlib中,据说

当观察到一些奇怪的行为时,明智的做法是创建输入的有理近似值(例如,可以将0.3333333替换为1/3),并使用GMP rational编译的cddlib进行计算,以查看正确的行为应该是什么。当时间不重要时,使用GMP有理算法更安全

通过定义不等式,可以选择分数而不是浮点:
mat=cdd.Matrix([[2,-1,-1,0],[0,1,0,0],[0,0,1,0]],number_type='fraction')
但是我怎么知道ccdlib现在是否是用GMP Rational编译的呢