Manuals/calci/ENFORCENEGATIVEINTEGER

ENFORCENEGATIVEINTEGER(Number)

• $Number$ is any real number.

Description

• This function converts or enforces the given number or set of numbers to a 'negative 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 decimal number, it is converted to negative number and rounded off to nearest integer.
• If the $Number$ is negative decimal number, it is retained as negative number and rounded off to nearest integer.
• Number 'zero' is natural number, neither positive nor negative.
• The argument can also be a result of any function.

Examples

1. ENFORCENEGATIVEINTEGER(104) = 104
2. ENFORCENEGATIVEINTEGER(-2.45) = -2
3. ENFORCENEGATIVEINTEGER(4/7) = 0
4. ENFORCENEGATIVEINTEGER(-20/6) = -3
5. ENFORCENEGATIVEINTEGER(SUM([5,30])) = -35

For a set of numbers, the function displays a table as follows -

• ENFORCENEGATIVEINTEGER(-5.5..5.5)=

Nature	Number	ENFORCETYPE
negativeinteger	-5.5	-5
negativeinteger	-4.5	-4
negativeinteger	-3.5	-3
negativeinteger	-2.5	-2
negativeinteger	-1.5	-1
negativeinteger	-0.5	0
negativeinteger	0.5	0
negativeinteger	1.5	-1
negativeinteger	2.5	-2
negativeinteger	3.5	-3
negativeinteger	4.5	-4
negativeinteger	5.5	-5

Related Videos

INT Function

See Also

• ENFORCENEGATIVE

• ENFORCEINTEGER

• ENFORCEZERO

• INT

References

• Integer
• Negative Integer

• List of Main Z Functions

• Z3 home