sympyを使って変数のセットを取り、それらの変数のドメイン上でシンボリック論理式を評価するプログラムを作成しようとしています。問題は、Pythonが真理値表を吐き出した後で式を評価することができないということです。ここで コードです: from sympy import *
from sympy.abc import p, q, r
def get_vars():
vars =
Symbolismライブラリは算術演算子をオーバーロードします。それはC#で書かれているが、私は、F#からそれを使用することができます。 open Symbolism
let x = new Symbol("x")
let y = new Symbol("y")
let z = new Symbol("z")
printfn "%A" (2*x + 3 + 4*x + 5*y + z
sympyには、Piecewiseオブジェクトを返す整数がある。 In [2]: from sympy.abc import x,y,z
In [3]: test = exp(-x**2/z**2)
In [4]: itest = integrate(test,(x,0,oo))
In [5]: itest
Out[5]:
⎧ ___
⎪ ╲╱ π ⋅z