Difference between revisions of "Manuals/calci/ENFORCENATURAL"

Latest revision as of 14:19, 7 February 2019

ENFORCENATURAL(Number)

This function converts or enforces the given number or set of numbers to natural value.
Natural number is the non negative integer starting from 0,1,2,3..
So natural number is the positive integer number.
In $ENFORCENATURAL(Number)$ Number is any real number.
If the Number is positive, it is retained as positive only.
If the Number is negative, it is changed in to positive only.
Number 'zero' is natural number, neither positive nor negative.

@@ Line 10: / Line 10: @@
 *If the Number is negative, it is changed in to positive only.
 *Number 'zero' is natural number, neither positive nor negative.
+==Examples==
+#ENFORCENATURAL(76) = 76
+#ENFORCENATURAL(-45) = 45
+#ENFORCENATURAL(-156.32) = 156
+#ENFORCENATURAL(8.98) = 8
+==Related Videos==
+{{#ev:youtube|v=6ptpoI4E-vA|280|center|Natural Numbers}}
+==See Also==
+*[[Manuals/calci/ENFORCEPOSITIVE| ENFORCEPOSITIVE]]
+*[[Manuals/calci/ENFORCENEGATIVE| ENFORCENEGATIVE]]
+*[[Manuals/calci/ENFORCEZERO| ENFORCEZERO]]
+*[[Manuals/calci/INT| INT]]
+==References==
+*[http://en.wikipedia.org/wiki/Integer Integer]
+*[[Z_API_Functions | List of Main Z Functions]]
+*[[ Z3 |   Z3 home ]]