Qurak
Sign in

NegativeIntegers

Available

Domain of negative integers

NegativeIntegers
Reduce[x ^ 2 - 2y ^ 2 == 1, {x, y}, NegativeIntegers] → y == -(Sqrt[-1 + x^2]/Sqrt[2]) || y == Sqrt[-1 + x^2]/Sqrt[2]Simplify[-EulerPhi[n]^2 - 1∈NegativeIntegers, n∈ℤ] → Element[-1 - EulerPhi[n]^2, NegativeIntegers](x | y | -1)∈NegativeIntegers → Element[x | y, NegativeIntegers]
Run this on QurakSearch the reference

Topics

Related

ElementSimplifyIntegersPositiveIntegersNonNegativeIntegersNonPositiveIntegersNegativeRationalsNegativeRealsNonNegativeRealsAssumingAssumptionsBooleans

All 6300 functions · Use this from an MCP client