Sympy：論理式のCコード

Question

sympyの論理式から、同等のCコードを取得したいと思います。まず、andとorのようなネイティブ論理演算子を使用することができないことに気付きました。十分に公正で、& and friendsがあります。私は

from sympy import * 
from sympy.utilities.codegen import codegen 

x = Symbol('x') 
is_valid = Symbol('is_valid') 

# f = x > 0 and is_valid # TypeError: cannot determine truth value of 
f = (x > 0) & is_valid # And(is_valid, x > 0) 

# TypeError: The first argument must be a sympy expression. 
[(c_name, c_code), (h_name, c_header)] = codegen(("f", f), "C") 

が、何らかの理由で、私は

TypeError: The first argument must be a sympy expression.

任意のヒントを取得していますを試してみましたか？

Answer 1

エラーメッセージは、ハードコードされたisinstanceチェックに基づいています。それが削除された場合、私はis_validが二重に設定されているので、これは、あなたが望むものおそらくまだでないことが

#include "f.h" 
#include <math.h> 

double f(double is_valid, double x) { 

    double f_result; 
    f_result = is_valid && x > 0; 
    return f_result; 

} 

注意を取得し、あなたはおそらく、それがint（またはC99ブール値）になりたいです。

私の提案：式に直接ccodeを使用し、関数ラッパーを手動で記述します。よりスケーラブルなものが必要な場合は、pycodeexportを使用することもできます。