Talk:Z16683

Documentation

layout: data: Integer (Z16683): arbitrarily large whole numbers, including negative ones and 0. 0 is the only value allowed to have a neutral sign (and it must have that sign; positive and negative 0 are possible but not valid)

Wikidata Item (sitelink) set of integers (Q47007735) Numeric type hierarchy GF(256) ⊂ ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ; f64 ≈ ℝ; f64×f64 ≈ ℂ Cardinality (number of possible values) arbitrarily high Proposal discussion WF:Type proposals/Integer Search for usages of this type Special:WhatLinksHere/Z16683 (all links from all namespaces, misses any references from Implementations-by-code) Search for "Z16683" in mainspace (includes references from Implementations-by-code) Special:ListObjectsByType/Z16683 (persistent objects whose Type is declared as Z16683) Special:ListObjectsByType/Z8/Z16683 (functions whose return Type is declared as Z16683) Queries for Function (Z8) declarations (…) → Z16683 Search for "Z8K2 Z16683" in mainspace (…, Z16683, …) → * Search for "Z17K1 Z16683" in mainspace (Z16683, …) → * Search for "Z8K1 Z17 Z1K1 Z17 Z17K1 Z16683" in mainspace (¬Z16683, …, Z16683, …) → * Search for "Z17K1 Z16683" -"Z8K1 Z17 Z1K1 Z17 Z17K1 Z16683" in mainspace (…, Z16683, …) → Z16683 Search for "Z8K2 Z16683" "Z17K1 Z16683" in mainspace (…) → <Z16683>[…] Search for "Z8K2 Z1K1 Z7 Z7K1 Z881 Z881K1 Z16683" in mainspace (…, <Z16683>[…], …) → * Search for "Z17K1 Z1K1 Z7 Z7K1 Z881 Z881K1 Z16683" in mainspace (…, <Z16683>[…], …) → <Z16683>[…] Search for "Z8K2 Z1K1 Z7 Z7K1 Z881 Z881K1 Z16683" "Z17K1 Z1K1 Z7 Z7K1 Z881 Z881K1 Z16683" in mainspace More info at WF:Find

Construction and deconstruction functions for Integer (Z16683)

make Integer (Z33745)	Z16683K1: Sign (Z16659)	sign of integer (Z17105)
	Z16683K2: Natural number (Z13518)	absolute value of integer as natural number (Z17144)

Comparison functions for Integer (Z16683)

n1 ≠ n2 Q110013332	are Integers different? (Z35475)		n1 ⟺ n2 Q7797295	Sign of difference of Integers (Z35449)
n1 < n2 Q52834024	less than (integer) (Z17140)		n1 > n2 Q47035128	greater than (integer) (Z17132)
n1 ≤ n2 Q55935272	less than or equal (integer) (Z17363)		n1 ≥ n2 Q55935291	greater than or equal (integer) (Z17173)
n1 = n2 Q842346	same Integer (Z16688)		n1 ≈ n2 Q26161438	—
n ≠ 0	is Integer not zero? (Z35702)		n ⟺ 0	sign of integer (Z17105)
n < 0	is negative integer (Z17215)		n > 0	is positive integer (Z17204)
n ≤ 0	is Integer non-positive? (Z35709)		n ≥ 0	is non-negative integer (Z17229)
n = 0	is zero (integer) (Z17239)
n1 ≤ n2 ≤ n3	Integer in range (Z17591)
n1 ≡ n2 mod m Q3773677	are Integers congruent modulo other Integer? (Z32261)
|n1| = |n2|	integers have the same absolute magnitude (Z17254)
sgn(n1) = sgn(n2)	integers have the same sign (Z17249)
n1 ∣ n2 Q109497082	is integer divisible (Z20266)

Conversion functions for Integer (Z16683)

integer to digit string (hyphen negative) (Z25073)	⇥	String (Z6)
ordered pair of natural numbers representing integer (Z17301)	⇥	<Z13518>[ a, b ]	↦	integer represented by ordered pair of natural numbers (Z17307)

[Create translatable long-form documentation to be included here]