inequality

0熱

1答えて

私は以下の2つの不等式を持ちますが、不等式が成り立つ適切な領域を見つけることができますが、不等式を解くのではなく、手で。したがって、この場合の解の1つは、d = -4.5およびg = 3のときである。そして、私は正しいソリューションを求めています。私はセージを使用しています。 Input: solve([-1/2*d + 1/2 < g, g < -d - 1],[d,g]) Outpu

0熱

1答えて

負の不等式で抽出すると不正な値が返される

数値を文字列に置き換えたい。数値の範囲は-1と1の間です。 dfの出力は以下のとおりです。 structure(list(m = c(-0.226, 0.11, 0.143, -0.095, -0.007, -0.232, -0.258, -0.438, -0.199, -0.419, -0.41, -0.271, -0.176, -0.33, -0.335, -0.59, -0.724, -

2熱

4答えて

2つのdictsを比較し、非等価の値を出力する

辞書bとaを比較して、bのキーがaであるかどうかをチェックする必要があります。存在する場合はa[key]==b[key]の値を確認します。一致しない場合は、参考のために両方の辞書のkey:valueのペアを印刷します。どうやってやるの？ a = {'key_1': 1,'key_2': 2, 'key_3': 3} b = {'key_1': 1,'key_2': 5} [k for ke

3熱

2答えて

reduce_rational_inequalities（[[3 - 2 * x + 1]]、x）によって与えられたAndオブジェクトから値を抽出します。 example.And（-2 <x、x <oo）

結果から値を抽出したいのですが、reduce_rational_inequalities([[-3 < 2*x + 1]], x)を実行して取得します。例えば、上記の機能を実行した後、私の答えはされ（-2 <は、X、X < OO）。今私は -2この出力からたい。私は別の方程式でも同じことをやっています。 reduce_rational_inequalities([[2*x + 1 < 5]]

1熱

1答えて

COUNTIF（excel）の不等式

の場合、のセルが別のセルから参照される変数以下の場合は、セルを数えようとしています。それはこれに非常に近いと思われる、 COUNTIF（A4：A20、 "> = 32"）しかし、私は32の変数、A3に置き換えたいです。私はまだそれの例を見ていない。誰かが書式設定を手伝ってくれたら、感謝します。ありがとう！

0熱

1答えて

なぜ 'linordered_field_class.frac_le'ルールは機能しませんか？（Isabelle）

私はIsar証明で規則linordered_field_class.frac_leを使用しようとしています。ここでコードスニペットがあります（これは証拠の前の部分に依存するかもしれませんが、それはそうではありません）。 nはnat型です。 ... then have 4:"2 ≤ (2^(n+1)::real)" by simp have 1:"(0::real)≤(1::re

2熱

1答えて

関数の次数を求める

nが無限になる傾向にあるので、次の関数の最下位は何ですか？ a>1および0<p<1。私の答え：したがって、ln(1+x) <= x以来、f(n) = O(a^n)。私はこれが緊密な境界ではないと確信しています。私はを使用してより厳密な境界を得ることができるかもしれませんが、私はそれが順序を改善するとは思いません。何か案が？私があなたに役立つと思われることを教えてください。

0熱

3答えて

サブセットのデータフレームは

通報この問題は、複数の論理条件、特に厳密な不等式からRのデータフレームをサブセット（hereとhereを参照）を使用してサブセット化のトピックに関する拡張であると表現します。は0から100までの私の変数の範囲は、私が50と100の間にある値を返すサブセットを作成する必要があると言うが、また25未満 # Data df$var = seq(1:100) # Desired Subset

0熱

1答えて

逆：私は不平等の5倍のためのグラフをプロットしようとしていたすべての不平等

のための右のグラフをプロットしない真+ 2Y -5> =だから、0 期待と私は取得していますDesmosのグラフから確認されるように：作成するためのコード：私はJSXGraphを使用して、このまったく同じプロットを得ていましたこのグラフ： var board = JXG.JSXGraph.initBoard('graphDiv',{axis:true, boundingbox:[-4, 5,