問題タブ [symbolic-computation]

コンピュータ代数システムの一般理論 ( mathematica、sympy など)に関するリソース (書籍、クラス、講義ノートなど) を知っている人はいますか?

「入門」の教材が好まれますが、そのような専門的な科目では、何でもかなり高度になるはずです.

私は次のような方程式を持っています：

定義されており、単一の変数（この場合はV1とV2）のみを含む要素に分割したいと思います。

結果として私は期待します

しかし、私がこれまでに得ることができた最高のものは

を使用しequation.factor(V1,V2)ます。変数をさらに分離するために因数分解する他のオプションまたは別の方法はありますか？

私は Symbolic C++ を持っています (V と統合できるバージョンです。インストール方法に関するドキュメントはありません。この Web サイトから入手しました。動作の例があります。

http://issc.uj.ac.za/symbolic/symbolic.html

Visual Studio で私のプロジェクトで使用するためにこれをインストールする方法について誰か考えがありますか?

C++で分析統合を行う必要があります。たとえば、次のような式を統合する必要exp[I(x-y)]がIあります。は虚数です。

C ++でこれを行うにはどうすればよいですか？

GiNaCを試しましたが、多項式を統合するだけです。SymbolicC++も試してみました。sine、、、cosineなどの機能を統合できますが、それほど強力ではありませんexp(x)。ln(x)たとえば、x*ln(x)Mathematicaを使用したり、パーツごとに統合したりすることで簡単に取得できる統合はできません。

C ++での分析統合のような記号計算を実行できる他のツールやライブラリはありますか？

私はpythonが初めてで、cythonで計算の一部を高速化するのに苦労しています。考えられるあらゆる方法を試しましたが、まだ何かを理解していないようで、惨めに失敗しました。私はこれらのファイルを持っていますMyfunc.pyx:

setup.py：_

calc.py最後に、 「MyList1」と呼ばれる、必要なリストを取得するために実行するpython スクリプトを呼び出します。

1) 以前のスクリプトでは、x,y は純粋に数式を導出するための記号として使用されていました。a.subs(x,xa)and (最初のファイル Myfunc.pyx を参照)を使用しb.subs(x,xa)て x を取り除き、それを xa に置き換えて、最終的に記号解ではなく数値解を得ます。2) 3 番目のファイル (calc.py) の一番上にあるのは使用すべきではないと思いますimport Myfuncが、それ以外のものは取得できません。私がすべきだと思うこと: setup.py を実行すると、Myfunc.c と Myfunc.so という 2 つの新しいファイルが作成されたので、calc.py ファイルを実行するだけで、純粋な python で数値が速くなるはずです. 何をしなければならないか:ついにわからない... できれば欲しいもの: exp()anda.subs(x,xa)とb.subs(x,xa)計算が遅くなると思います。このコードを純粋な python から「cython」に変換しようとしました (変換はこれを説明するのに適した言葉ではないと思います)。公式サイトのチュートリアルは私には少し難しいので、いつもこれを達成できません。私のホバークラフトはウナギでいっぱいなので、私の英語を許してください

sympyを使用して一連の変数を取得し、それらの変数のドメインでシンボリック論理式を評価するプログラムを作成しようとしています。問題は、真理値表を吐き出した後、Pythonに式を評価させることができないことです。

コードは次のとおりです。

次のことを行うと、次のようになります。

このタスクを実行するためのソフトウェアが存在する場合、私はそれについて本当に知りたいです:-)

前もって感謝します。

シンボリック パラメーターを使用したループの場合、KLEE (シンボリック実行ツール) がどのように機能するかについて質問があります。

このコードで klee を実行すると、テスト ケースは 1 つだけになります。ただし、printf(...) のコメントを削除すると、klee は実行を停止するための何らかの制御が必要になります。これは、n の値を生成するためです: --max-depth= 200

クレーがこのように異なる振る舞いをする理由を理解したいのですが、それは私には意味がありません。このコードに printf がない場合、同じ値が生成されないのはなぜですか。

オプション --optimize が使用されていない場合に同じ動作が発生することがわかりました。Klee の --optimize がどのように機能しているか知っている人はいますか?

同じことについての別の疑問は、彼らが公開した論文の場合、私が理解しているように、彼らのヒューリスティック検索では無限にならないと言われていることです (彼らは飢餓を回避します)。このループの場合、クレーの実行を終了する必要がありますか?

前もって感謝します

次の形式の行列の記号固有値とベクトルを計算しようとしています

matlab で (a、b、c などを x、y、z を含むいくつかの式に置き換えます)。対角外項 0 が 4 つあれば、プログラムは成功です。しかし、行列が 2 つの非対角要素ゼロしか持たない場合 (例のように)、プログラムは固有ベクトルを見つけることができませんが、固有ベクトルを見つけることができます (これは 3 次多項式であるため予想されます)。もちろん、固有値の式は非常に多忙です。そして、固有ベクトルを計算しようとすると、エラーが発生します

私はmatlab R2009aを使用しています。これは、たとえば R2009b またはそれ以上のサーバーで解決できる問題ですか、それとも多くの計算を試すだけですか? 上記の行列から LI (ここで、K は固有値 I は id 行列) を減算して固有ベクトル方程式を解こうとすると、手で解いて L を含む式を取得することもできるため、これは妥当とは思えません。 a、b、c、e、f、g。次に、ラムダの式を単純に入力するだけです。ただし、もちろん結果は非常に長くなるため、これはメモリの問題でしょうか?

ありがとう

matlabで方程式を解こうとしていますが、警告が表示されます。 「警告明示的積分が見つかりませんでした」 いくつかの検索の後、人々は私の方程式をDouble（）メソッドでラップすることを提案しましたが、それでも私は数学/メープルで4.62240566として計算した間違った答え（ans = 0）を受け取ります。

浮動小数点に関連していると思いますが、修正方法がよくわかりません。

DO弁はカテゴリPARENのシリーズを使用！優先順位のために、通常、関数を呼び出す前に、基礎となる括弧構造を沸騰させます。

ただし、Rebol 2 では、関数の定義で、コールサイトでの括弧の評価を抑制するように指定することが可能でした。これは、パラメーターに「リテラル ワード」アポストロフィ マークを使用して行いました。

だからあなたはSERIESを渡されます！クラス PAREN! のカテゴリ タイプ...この場合、内部に 3 つの記号要素があります: 1、+、2. これはRebol 3では機能しません:

これはバグですか、それとも意図的な設計上の決定ですか? 回避策はありますか? クォート演算子をコールサイトに配置しても機能しないことに注意してください。これは、クォートされるのはシンボリック ワードquoteであり、その後に括弧が続くためです。単独で評価され、式の最終値になります:-/