computer-algebra-systems

6熱

1答えて

この問題で私が扱っている方程式には指数関数が含まれています。この理由から、差別化後には、それらは追加の定数および他の要因を除いて、ほとんど変化していないように見える。私は、それらの指数をどこにあるかという表現の名前に戻すことが可能かどうか疑問に思っていました。次に例を示します。は差別化した後、この関数定義 f:= x -> A*exp(B/x) を考えると、一つは A*exp(B/x)*(-

6熱

1答えて

アフィンK-代数計算のためのライブラリ？

F_2 F_2ここで、 F_2は2要素の有限体で、 <f^2 - f>はすべての要素 f^2 - fから生成された理想です。 F_2[...]の f。（私は/希望/確かに、xorを+とand * [ wikipedia]として使用するブール代数環であると確信しています）。たとえば、 x_1 = poly_xn 1 x_2 = poly_xn 2 x_1 * x_2 * x_1 -- ret

6熱

2答えて

C＃ライブラリは^演算子をオーバーロードします。代わりに**を使用する方法は？

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

9熱

1答えて

sympyによって返される区分方程式を扱う。

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

0熱

2答えて

記号計算のための反射言語

私は、その言語で書かれたプログラムで動作する言語を求めています。これは、その言語の主要なオブジェクト（おそらく唯一のオブジェクト）を持つ言語です。この点を念頭に置いて作成された自己プログラム変換言語のようなものです。動機は以下の通りです：実計算するもので、プログラムP1を持つ - >私はP1を取り、P1の象徴誘導体（または不定積分）に変換しまうプログラムP2を持ちたいレアル。明らかに、P2は

1熱

1答えて

Mapleの数字の桁数を確認してください

RSAキーを生成するための基本的な手順を実装しようとしています。この手順では、aとbの範囲を受け入れます。 aとbとの間のインターバルが「5桁」であることをチェックしなければならない。だから私は解決策を思い付いた： with (numtheory); gen_rsa := proc(a, b) local p, q, len_p, len_q, larger; # the

8熱

1答えて

内容モデル交換用MathMLとOpenMath

私の研究グループでは、MatlabのSymbolic ToolboxやPythonのSympyなど、さまざまなシンボリックツールで代数モデリングを行う人々がいます。これらのモデルは、通常、Cコードにエクスポートされ、さらにシンボリックな操作のために、独自のシンボルC++ベースのツールにコピー・ペーストされます。このメンテナンスが難しいアプローチの代わりに、OpenMathと "Content M