問題タブ [symbolic-computation]

次の表現があります。

これは単純化できます：

部分式を考えると:

bj現在、手動でcj簡略化された式に置き換えて、u0次を取得します。

手動置換を回避して、SymPy を使用してそれを達成することは可能ですか?

私は、いくつかの変数が他の変数の補間関数である線形方程式系を解こうとしています。これらの関数をシンボリック関数に変換しようとしましたが、うまくいかないようです。データのカーブフィッティングを伴わない回避策はありますか? 正確を期すために、元のデータセットを保持したいと思います。私のデータセットは大きすぎてこのコード例に実際のデータを入れることができないため、[0 100]、[100 0]、[0 100;0 100] のプレースホルダー データセットを提供しました。

これが私のコードです：

主に可変係数を持つ多項式の導関数を含む長い式が発生する計算を行う必要があります。

残念ながら、Mathematica や Maple などのエンジンから取得した結果は、必要なものとは大きく異なる方法で表現されており、結果を望ましい形式に再配置するには時間がかかりすぎます (エラーが再び発生するリスクは言うまでもありません)。

したがって、代わりに自分で計算を行い、結果をチェックする方法があるかどうか疑問に思っていました。つまり、ある種の「式チェッカー」です。

d/dx f(x) = g(x) を入力すると、両側が提供され、システムはこれが true または false であると評価します。