質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.50%
Mathematica

Mathematicaは、ウルフラム・リサーチによって開発されている数式処理システムです。

Q&A

解決済

1回答

1115閲覧

mathematicaで不等式を満たす解が存在するかどうか調べた時に出るエラーについて

MF0524

総合スコア48

Mathematica

Mathematicaは、ウルフラム・リサーチによって開発されている数式処理システムです。

0グッド

0クリップ

投稿2021/09/15 15:27

###発生している問題
Mathematicaで不等式を満たす正の実数kが存在するかどうか調べたところ、以下のようなエラーが出ました。
「Resolveは厳密でない係数を持つ系の量限定子を削除することができませんでした.解は対応する厳密な系から量限定子を削除し,結果を数量化することで得られました」
このエラーは何を意味するのでしょうか?どなたか分かる方教えてください。よろしくお願いします。

###エラーが発生するコード

Mathematica

1Resolve[Exists[{k}, (k + k^3 + 3.49832*10^5*k^5 + k^6 < 0 && k > 0)], Reals]

このコードでは、k + k^3 + 3.4983210^5k^5 + k^6 < 0を満たす実数の正のkが存在するかどうかを調べます。
ちなみに、不等式の3.4983210^5k^5を349832*k^5に変更した場合、上記のエラーが出なくなることが分かっています。浮動小数点が関係する現象なのでしょうか?

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

MF0524

2021/09/16 02:24

ご指摘ありがとうございます。リンク先の内容が原因のようです。ありがとうございました。
guest

回答1

0

自己解決

評価する式(今回の場合k + k^3 + 3.4983210^5k^5 + k^6 < 0 && k > 0)に浮動小数点を含む場合、発生する警告のようです。浮動小数点(近似)ではなく、整数を使用することで解決します。
https://reference.wolfram.com/language/ref/message/Reduce/ratnz.html.ja?source=footer

投稿2021/09/16 02:31

MF0524

総合スコア48

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.50%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問