問題タブ [symbolic-computation]

この例を考えてみてください。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番目のケースでのみうまく機能するのか、誰かが説明できますか?

次のコマンド

と

結果を返す

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 番目の質問である、すべての解を取得するための初期推定値を一般的に見つける方法がわかりません。

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

検討

コマンド

戻り値

そして私は試します

どちらが戻る

と

それぞれ。

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

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

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

コードは

プロットを生成する

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

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

私達は手に入れました：

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

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

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

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

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

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

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

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

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

• 2(x−p1)+2(xy−p3)y = 0
• 2(y−p2)+2(xy−p3)x = 0

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

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

と

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

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

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