問題タブ [symbolic-computation]

I'm trying to solve a symbolic system of equations for many variables. The structure of the equations will change based on the entries of AM, so solving these equations casually won't work well. This code does what I expect it to, however I need to solve for approximately 20,000 cases, so it is too slow. Is there any way to speed it up (possibly using vectorization?).

Edit: For clarification, in the future I plan to have the entries of AM as parameters. These entries will vary, but will only have 1 or 0 values.

私は、GF(2^N) から GF(2) への変換多項式システムに取り組んでいます。変換の過程で、行列の合計や乗算など、モジュロ 2 の計算をたくさん行う必要があります。

Sympy でモジュロ 2 演算を使用して行列を合計および乗算する方法はありますか?

次の 2 つのマキシマ コードは同等である必要があります。

と：

最初のケースでは、maxima は式を 8 に評価することを知っています。2 番目のケースでは、単純化されず、i = 1 から 2 に対する x[i] の記号的な合計が残されます。

maxima が 2 番目の式を最初の式と同じであると認識できないのはなぜですか?

(コードの最初の部分のように) 答えをハードコーディングする以外に、上限が後で指定される合計を評価するときに、インデックス付き変数を使用して合計を完全に評価するにはどうすればよいですか?

式の入力を受け取り、それを統合して結果をユーザーに出力するプログラムを作成しています。SymbolicC++ を使用していますが、シンボリックを入力する方法がわかりません...どうすればよいですか - IDE に Visual Studio を使用しています

Sage で次のマップを使用しています。

x= 0 の場合はf(x) = 0、x!=0の場合はf(x)=1と評価されます。

シンボリックな結果では、sgn(x)^2、sgn(x)^4、sgn(x)^8などは、 xのすべての値が等しいにもかかわらず、等しくないものとして扱われます。次のようなものに置き換える方法はありますか:

これらの関係のすべての出現、およびxのすべての記号値に対して?

すべてのシンボルに対して新しい置換ルールを作成できます。

などですが、それを制御するのは難しいようです。

http://www.doc.ic.ac.uk/~dsl11/klee-doxygen/overview.html

バイナリのメモリをモデル化しようとしているので、KLEE がそれをどのように処理するかを確認したいと思います。しかし、概要から説明を理解するのに苦労しています。

簡単な説明と、これがどのように行われるかの簡単な例を得ることができますか?

I try with these commands

and

, but both of them produce

f(x) = 1

(yes.. for every real x including 0)

The question is how I can avoid the pre-evaluation in the command "sym", or there exists another way to handle this problem.

Thank you very much!

update 21.05.2014:

Let me describe the problem a little bit.

Consider

f(x) = x/x

and

g(x) = 1

It is obvious that domains of f and g are R-{0} and R respectively.

The automatic simplification in sym/syms may lead to lose some info.