Python 如何在顶点枚举的浮点算法和精确算法之间进行选择?
我使用pycddlib(Komei Fukuda的cddlib的Python包装器)生成由线性不等式给出的多面体的所有顶点。为了防止由浮点运算引起的计算不准确,我想使用精确运算。在cddlib中,据说 当观察到一些奇怪的行为时,明智的做法是创建输入的有理近似值(例如,可以将0.3333333替换为1/3),并使用GMP rational编译的cddlib进行计算,以查看正确的行为应该是什么。当时间不重要时,使用GMP有理算法更安全 通过定义不等式,可以选择分数而不是浮点: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
mat=cdd.Matrix([[2,-1,-1,0],[0,1,0,0],[0,0,1,0]],number_type='fraction')
但是我怎么知道ccdlib现在是否是用GMP Rational编译的呢