NegativeIntegers

NegativeIntegers

represents the domain of strictly negative integers, as in xNegativeIntegers.

Details

  • xNegativeIntegers evaluates immediately if x is a numeric quantity.
  • Simplify[exprNegativeIntegers,assum] can be used to try to determine whether an expression is a negative integer under the given assumptions.
  • (x1|x2|)NegativeIntegers and {x1,x2,}NegativeIntegers test whether all xi are negative integers.
  • NegativeIntegers is output in StandardForm or TraditionalForm as TemplateBox[{}, NegativeIntegers]. This typeset form can be input using nints.

Examples

open all close all

Basic Examples  (3)

Minus seven is a negative integer:

In[1]:=
Click for copyable input
Out[1]=

If is an integer, is a negative integer:

In[1]:=
Click for copyable input
Out[1]=

Find negative integer solutions of a Pell equation:

In[1]:=
Click for copyable input
Out[1]=

Scope  (6)

Applications  (1)

Properties & Relations  (3)

Introduced in 2019
(12.0)