Manuals/calci/ENFORCENEGZEROPOS

ENFORCENEGZEROPOS(Number)

• $Number$ is any real number.

Description

• This function converts or enforces the given number or set of numbers to positive integer value.
• Integer is the number without any decimal or fractional part but it can be the natural number with positive or negative sign.
• If the Number is positive, it is retained as positive only.
• If the Number is negative, it is converted in to positive number.
• Number "zero" is natural number, neither positive nor negative.
• We can use the argument as result of any function.

Examples

1. ENFORCENEGZEROPOS(90) = 90
2. ENFORCENEGZEROPOS(-45) = 45
3. ENFORCENEGZEROPOS(12.78) = 12
4. ENFORCENEGZEROPOS(-821.89) = 821

See Also

• ENFORCEPOSITIVE
• ENFORCENEGATIVE
• ENFORCEZERO
• ENFORCEINTEGER

References

• Integer

• List of Main Z Functions

• Z3 home