Difference between revisions of "Manuals/calci/ENFORCENATURAL"
Jump to navigation
Jump to search
(Created page with "<div style="font-size:30px">'''ENFORCENATURAL(Number)'''</div><br/> *<math>Number</math> is any real number. ==Description== *This function converts or enforces the given num...") |
|||
| Line 10: | Line 10: | ||
*If the Number is negative, it is changed in to positive only. | *If the Number is negative, it is changed in to positive only. | ||
*Number 'zero' is natural number, neither positive nor negative. | *Number 'zero' is natural number, neither positive nor negative. | ||
| + | |||
| + | ==Examples== | ||
| + | #ENFORCENATURAL(76) = 76 | ||
| + | #ENFORCENATURAL(-45) = 45 | ||
| + | #ENFORCENATURAL(-156.32) = 156 | ||
| + | #ENFORCENATURAL(8.98) = 8 | ||
| + | |||
| + | ==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 ]] | ||
Revision as of 12:33, 31 May 2017
ENFORCENATURAL(Number)
- is any real number.
is any real number.Description
- 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 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.
Number is any real number.Examples
- ENFORCENATURAL(76) = 76
- ENFORCENATURAL(-45) = 45
- ENFORCENATURAL(-156.32) = 156
- ENFORCENATURAL(8.98) = 8
See Also
- [[Manuals/calci/INT| INT]
References