Manuals/calci/ENFORCENATURAL

ENFORCENATURAL(Number)

• $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 $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.

Examples

1. ENFORCENATURAL(76) = 76
2. ENFORCENATURAL(-45) = 45
3. ENFORCENATURAL(-156.32) = 156
4. ENFORCENATURAL(8.98) = 8

See Also

• ENFORCEPOSITIVE

• ENFORCENEGATIVE

• ENFORCEZERO

• [[Manuals/calci/INT| INT]

References

• Integer

• List of Main Z Functions
• Z3 home