或る数学の論文を書くために代数計算をやっています.以下のA, B, C, D から (B/A)=(D/C) となるかどうかを確かめる計算ソフトを教えて下さい.現在,手持ちの計算ソフトは「カルキング Ver.5」のみで,これでは計算不能です.
B=(a+b+cx+dy)dz+{a+(c+d)z}{ax+by+(c+d)xy}
A=(a+b+dz)(a+b+cx+dy)+c{ax+by+(c+d)xy}
D=a(a+b+cy+dz){ax+bz+(c+d)xz}+b(a+b+cx+dz){ay+bz+(c+d)yz}
+(c+d){ax+bz+(c+d)xz}{ay+bz+(c+d)yz}
C=(a+b)(a+b+cx+dz)(a+b+cy+dz)+c(a+b+cy+dz){ax+bz+(c+d)xz}
+d(a+b+cx+dz){ay+bz+(c+d)yz}
これらは(B/A)=(D/C)とはならないでしょうか?(dy, dz は微分の意味ではありません)また,数値計算ではなく数式処理(代数計算)のソフトは何がいいでしょうか? 微分,積分,特殊関数(楕円関数など)よりも10次以上の正方行列や行列式,50項以上の多項式の乗法計算や因数分解が楽に早くできるソフトは何がいいでしょうか?おこころあたりの方,教えて下さい.
No.2ベストアンサー
- 回答日時:
もしお金があるのでしたら、Mathematicaなどいかがでしょうか?かなり強力なツールだと思います。
Mapleは過去にすこし触った程度ですが、おそらく要求は満たしていると思います。こちらも高いですが。ちなみに、Mathematicaに計算させて見たところ、(B/A)≠(D/C)となりました。入力ミスや、書き間違いがないと仮定できるようならば、等号は成立しないようです。
なお、dxやdy,bzなどが一つの変数なのか、それともd×xの意味なのかわからなかったため、両方の場合をやりましたが、どちらの場合も等号成立しませんでした。dxなどのみ1つの変数で、bzなどはb×zと解釈した場合などはやっていません。
ご返信ありがとうございます.わざわざ,Mathematica で計算していただき恐縮です.Mathematica に計算させて (B/A)≠(D/C) と等号が成立しないよであれば,多分,その通り正しいでしょう.B, A, C, D の各記号はすべて独立変数です. dy, dz, bz などは,すべて d・y, d・z, b・z のことです.Mathematica か Maple の購入も検討してみます.ありがとうございました.
No.3
- 回答日時:
>10次以上の正方行列や行列式,50項以上の多項式の乗法計算や因数分解が楽に早くできるソフトは何がいいでしょうか?
フリーの数式処理ソフト Risa/Asir は、多項式の処理を非常に高速で行ってくれます。
50項以上の多項式の乗法計算や因数分解なども楽々こなしてくれます。
例えばご質問にある多項式ですが、
B=(a+b+c*x+d*y)*d*z+(a+(c+d)*z)*(a*x+b*y+(c+d)*x*y)$
A=(a+b+d*z)*(a+b+c*x+d*y)+c*(a*x+b*y+(c+d)*x*y)$
D=a*(a+b+c*y+d*z)*(a*x+b*z+(c+d)*x*z)+b*(a+b+c*x+d*z)*(a*y+b*z+(c+d)*y*z)+(c+d)*(a*x+b*z+(c+d)*x*z)*(a*y+b*z+(c+d)*y*z)$
C=(a+b)*(a+b+c*x+d*z)*(a+b+c*y+d*z)+c*(a+b+c*y+d*z)*(a*x+b*z+(c+d)*x*z)+d*(a+b+c*x+d*z)*(a*y+b*z+(c+d)*y*z)$
B/A-D/C;
と入力すれば、B/A-D/C の計算結果を瞬時に はきだします。
10次以上の正方行列の行列式などの計算も難なくこなします。
フリーソフトなので一度お試しになってみてはいかがでしょうか。
http://www.math.kobe-u.ac.jp/Asir/asir-ja.html
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 「f(z)=1/(z^2-1)に関して ローラン展開を使う場合、マクローリン展開を使う場合、テイラー 3 2022/08/27 19:56
- 数学 「違います 質問11 n≦-2ではz≠π/2で g(z)=tan(z)/(z-π/2)^(n+1) 3 2022/07/16 18:12
- 数学 難題集から 最大と最小 7 2023/02/22 19:36
- 数学 数学 PERT図 1 2023/01/13 00:34
- 数学 多変数関数の微分とテイラー展開について 5 2022/04/24 16:55
- 数学 過去にしてきた質問に対する解答に関して質問が以下の1〜7に関して解答を頂きたく思います。 時間のある 34 2022/07/09 21:52
- 数学 なぜres(f(z),a)は1/(n-1)!lim[z->a](d/dz)^(n-1)(z-a)^n 5 2022/07/10 18:51
- 数学 【全微分について】 z=f(x,y) の全微分は df=(∂f/∂x)dx+(∂f/∂y)dy と表 1 2023/02/25 05:49
- 数学 数2Bの数列の問題です。 自分は、 まず数列 an=ar^(n-1)と置き こちらの問題の、y= の 1 2022/07/07 16:26
- 物理学 ポテンシャルが有限で不連続の時、右側の波動関数をφ1(x)、左側をφ2(x)とする。境界条件の「波動 2 2023/06/04 13:53
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
単項式と分数式の違いについて
-
(x+y+2z)(2x+3y-z)(4x-y-3z)を...
-
(x-1)(x-2)(x-3)の展開の...
-
多項式について質問です。 エク...
-
余次元って何?
-
約数と因数の違い(∈N)
-
データのノイズ除去法 - Savitz...
-
斉次とは?(漢字と意味)
-
(x+3)(x-3)(x^4+9x^2+81)の展開...
-
deg f?
-
(1+x)^n=1+nxについて
-
e^sinXの展開式について。。。
-
なぜ、2変数以上の多項式を因数...
-
0は偶関数?
-
問題が理解できません
-
CRCのアルゴリズムって、どんな...
-
(x-2)^5の展開しきの係数
-
原始多項式の求め方
-
( )でうしろのほう...
-
(X-a)(a+X) を展開するとど...
おすすめ情報