PythonでSympyのブール式を評価する

Question

私はPythonとSympyを使用しています。

x,y,z = Symbols('x,y,z') 
doc = {x : False, y : True, z: True} 
rule = Or(x, And(y,z)) 

私はrule.eval(doc)にTrueを返しますSympy内の関数を探しています：

私は次がありますか？

編集： 現在、私はrule.subsとrule.xreplaceを使用していますが、どちらも呼び出しあたり約0.0003秒でゆっくりと実行しています。これは実用的ではない。このIPythonがくれた後

X = tuple(doc.iterkeys()) 
f = lambdify(X, rule) 

：

Answer 1

最小限のコーディングでより良いパフォーマンスを取得する方法はlambdifyを使用することです

V = tuple(doc.itervalues()) 
%timeit f(*V) 
The slowest run took 7.56 times longer than the fastest. This could mean that an intermediate result is being cached. 
1000000 loops, best of 3: 209 ns per loop 

私は警告が結論に影響を与える可能性がどのくらいかわかりませんしかし、明らかな改善があります。私が元のコードで持っていたのと同じコンピュータで：

%timeit rule.xreplace(doc) 
10000 loops, best of 3: 126 µs per loop 

サブシステムはさらに低速でした。

Answer 2

サブシステムを使用するのではなく、直接評価を使用できますか？

>>> F = Lambda((x, y, z), Or(x, And(y, z))) 
>>> F(0, 1, 1) 
True 

もしそうでない場合は、ラムダフォームを介してサブを許可するおもちゃクラスを作成できますか？これは、クラスではありませんが、アイデアを提供します：ラムダフォームを作成し、評価したラムダフォームを返すサブルーチンの方法を持っているでしょう

>>> def sub(f, d): 
...  F = Lambda(d.keys(), f) 
...  return F(*[d[k] for k in d.keys()]) 
>>> sub(Or(x,And(y,z)),{x:0,y:1,z:1}) 

クラス。