NonNegativeIntegers

Available

Domain of non-negative integers

Forms

NonNegativeIntegers

Verified examplesSimplify[EulerPhi[n]^2∈NonNegativeIntegers, n∈ℤ] → Element[EulerPhi[n]^2, NonNegativeIntegers]Reduce[x ^ 2 - 2y ^ 2 == 1, {x, y}, NonNegativeIntegers] → y == -(Sqrt[-1 + x^2]/Sqrt[2]) || y == Sqrt[-1 + x^2]/Sqrt[2](x | y | 1)∈NonNegativeIntegers → Element[x | y, NonNegativeIntegers]

Run this on Qurak Search the reference

Topics

Assumptions And Domains - Domains
New In120 Alphabetical Listing - N

Related

Element Simplify Integers NonPositiveIntegers PositiveIntegers NegativeIntegers NonNegativeRationals NonNegativeReals NegativeReals Assuming Assumptions Booleans

All 6300 functions · Use this from an MCP client