問題タブ [symbolic-computation]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
1 に答える
699 参照

matlab - Matlab シンボリック計算で一部の不等式を解くと予期しない結果が生じる

この例を考えてみてください。x^3 - 2x > 0 を解きたいと思います。次のコマンドを試します。

そしてMatlabはこれを返します

ans = solve([0.0 < x^3 - 2.0*x], [x])

これは私が期待するものではありません。したがって、私は使用します

返す

ans = Dom::Interval(2^(1/2), Inf) Dom::Interval(-2^(1/2), 0)

なぜsolve2番目のケースでのみうまく機能するのか、誰かが説明できますか?

0 投票する
1 に答える
3069 参照

matlab - Matlab のソルブ機能に問題がありますか?

次のコマンド

結果を返す

solve([0.0 < (8.0*exp(-1.0/x^2))/x^4 - (2.0*exp(-1.0/x^2))/x^2 - (6.0*log(x^2) *exp(-1.0/x^2))/x^4 + (4.0*log(x^2)*exp(-1.0/x^2))/x^6], [x == RD_NINF..RD_INF ]))

これは私が期待するものではありません。

最初の質問: Matlabにすべての解のセットを返すように強制することは可能ですか?solve

(これはこの質問に関連しています。)さらに、方程式を解こうとすると

返す

ans =
-1.5056100417680902125994180096313

すべての解が返されていないので満足できません (WolframAlpha から取得した約 -1.5056、1.5056、-0.5663、および 0.5663 です)。

私は、vpasolve最初の推測でこれを処理できることを知っています。しかし、2 番目の質問である、すべての解を取得するための初期推定値を一般的に見つける方法がわかりません。

これらの問題を解決するための他の解決策または提案を歓迎します。

0 投票する
0 に答える
205 参照

matlab - numeric::solve のバグ

検討

コマンド

戻り値

そして私は試します

どちらが戻る

それぞれ。

これは本当に のバグnumeric::solveですか?

または、コマンドのいくつかのポイントを見逃しただけです。

すべてのコメントと提案を歓迎します。ありがとうございました。

0 投票する
1 に答える
41 参照

matlab - これらのコマンドの結果を説明してください

コードは

プロットを生成する

ここに画像の説明を入力

[-2,2] 内のすべての x に対して v(x) はゼロであってはなりませんか?

0 投票する
1 に答える
760 参照

matlab - シンボリック書き込みでの部分行列へのアクセス (matlab)

を使用して定義する行列を考えるSymbolic Toolbox:

私達は手に入れました:

この行列の 2 行目だけを抽出するにはどうすればよいでしょうか? この場合 ( ) の場合、索引付けスキームは異なりf(X,Y)(2,:)ますか?

0 投票する
0 に答える
29 参照

python - Python ランタイムが "in" を bool に強制的に返すのに、比較演算子 (==、>、< など) の結果を強制的に返さないのはなぜですか?

次のクラス定義を検討してください。

クラスで定義された操作は次のように動作します。

タイトルによると、私の質問は次のとおりです。Python ランタイムがin演算子の出力をブール型に==明示的に強制するのはなぜですか?<=>

編集:ドキュメントでは、in演算子と豊富な比較についてそれぞれ次のように述べています。

  • __contains__()メソッドを定義するユーザー定義クラスの場合、x in yが true の場合にのみtrue になりy.__contains__(x)ます。

  • 慣例により、比較が成功すると False と True が返されます。ただし、これらのメソッドは任意の値を返すことができるため、比較演算子がブール コンテキスト (if ステートメントの条件など) で使用されている場合、Python は値に対して bool() を呼び出して、結果が true か false かを判断します。 .

問題はまだ残っています: なぜ区別が必要なのですか?

0 投票する
1 に答える
3000 参照

matlab - Matlab で非線形方程式をシンボリック/パラメトリックに解く

x, yzが変数でp1, p2p3がパラメータであるこれらの 2 つの方程式があります。MATLAB は にx y z基づくパラメトリック/シンボリック ソリューションを見つけることができますp1, p2, p3か?

  • 2(x−p1)+2(xy−p3)y = 0
  • 2(y−p2)+2(xy−p3)x = 0
0 投票する
1 に答える
462 参照

matlab - 連立方程式を解いて、解で z と z1 を受け取りますか?

次の非線形システムを Matlab に渡しました。

syms を使用して x と y の解をシンボリックに見つけましたが、次のようになりました。

z がどこから来たのかわかりません。ズって何?

0 投票する
2 に答える
158 参照

haskell - Haskell で一般的な計算を表現する慣用的な方法

Haskell の一般的な計算を型レベルで表現するための適切な慣用的な方法が存在する必要があります。私が思いつくことができるのは、この(違法な)オブジェクト指向の模倣だけです。

理想的には、私は開放性を維持したいので、このアプローチは私には魅力的ではありません. 求めすぎですか?