NonPositiveIntegers

NonPositiveIntegers

xNonPositiveIntegersにおけるように,非正の整数領域を表す.

詳細

  • x が数量なら,xNonPositiveIntegersは即座に評価される.
  • Simplify[exprNonPositiveIntegers,assum]を使って,式が与えられた仮定の下で非正の整数に対応するかどうかを判定することができる.
  • (x1|x2|)NonPositiveIntegersおよび{x1,x2,}NonPositiveIntegersは,すべての xiが非正の整数かどうかを調べる.
  • NonPositiveIntegersは,StandardFormTraditionalFormではTemplateBox[{}, NonPositiveIntegers]として出力される.タイプセットした形はnpintsを使って入力できる.

例題

すべて開くすべて閉じる

  (3)

マイナス7は非正の整数である:

が整数なら,は非正の整数である:

ペル(Pell)方程式の非正の整数解を求める:

スコープ  (6)

数式の領域帰属を調べる:

領域帰属の仮定を行う:

関数が動作すべきデフォルトの領域を指定する:

非正の整数上で最適化問題を解く:

いくつかの数が非正の整数かどうか調べる:

任意の数が明示的に非正の整数ではない場合,結果はFalseである:

TraditionalFormによる表示:

アプリケーション  (1)

非正の整数の帰属を調べることは,大きいリストの非正性を確認する近道である:

特性と関係  (3)

NonPositiveIntegersに帰属することは,Integersに帰属して非正であることと同じである:

NonPositiveIntegersNonPositiveRealsおよびNonPositiveRationalsに含まれる:

NonPositiveIntegersPositiveIntegersと互いに素である:

NonNegativeIntegersと交わる:

Wolfram Research (2019), NonPositiveIntegers, Wolfram言語関数, https://reference.wolfram.com/language/ref/NonPositiveIntegers.html.

テキスト

Wolfram Research (2019), NonPositiveIntegers, Wolfram言語関数, https://reference.wolfram.com/language/ref/NonPositiveIntegers.html.

CMS

Wolfram Language. 2019. "NonPositiveIntegers." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/NonPositiveIntegers.html.

APA

Wolfram Language. (2019). NonPositiveIntegers. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/NonPositiveIntegers.html

BibTeX

@misc{reference.wolfram_2024_nonpositiveintegers, author="Wolfram Research", title="{NonPositiveIntegers}", year="2019", howpublished="\url{https://reference.wolfram.com/language/ref/NonPositiveIntegers.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_nonpositiveintegers, organization={Wolfram Research}, title={NonPositiveIntegers}, year={2019}, url={https://reference.wolfram.com/language/ref/NonPositiveIntegers.html}, note=[Accessed: 22-November-2024 ]}