1 차 산술 수식 계산

Question

바운드 1 차 산술 수식을 계산하기위한 Python 패키지가 있습니까? 예를 들어

, 그것은 그 값 자유 변수 Z

>>> tau = [(z,20)] 

대한 경계 일차 연산 식

>>> exp = 'forall x < z exists y < x ((2 * y + 1 = x) or (2 * y = x))' 

하고 값을 얻고 반환

>>> eval(exp, tau) 
False 

Answer 1

아마 당신이 찾고있는 것은 "수량 한정자 제거 (quantifier elimination)"입니다. 그렇다면 QEPCAD를 살펴보십시오. [1] QEPCAD를위한 파이썬 인터페이스를 만드는 것이 파이썬 구현을 찾는 것보다 쉽습니다.

[1] http://www.usna.edu/CS/~qepcad/B/QEPCAD.html