Manuals/calci/ENFORCETYPE

ENFORCETYPE (Nature,Number)

• $Nature$ is any type.
• $Number$ is any real number.

Description

• This function converts or enforces the given number or set of numbers to the given type.
• In $ENFORCETYPE(Nature,Number)$,$Nature$ is any type of enforcing numbers.
• $Number$ is any real numbers.
• Here Nature is indicating following Types:

1. Integer
2. Natural
3. Negative
4. Negative Integer
5. Negzeropos
6. Positive
7. Positive Integer
8. Zero.

• When the given is a negative decimal number and the given type is Positive Integer then the result shows the number in a Positive integer value.
• In the same way the given numbers are enforcing according to the given type.

Examples

1. ENFORCETYPE("Integer",-87.65) = -87
2. ENFORCETYPE("Natural",-87.65) = 87
3. ENFORCETYPE("Negative",23.34) = -23.34
4. ENFORCETYPE("NegativeInteger",23.34) = -23
5. ENFORCETYPE("Positive",-45.34) = 45.34

Related Videos

Number Types

See Also

• ENFORCEPOSITIVE
• ENFORCEINTEGER
• ENFORCENEGATIVEINTEGER
• ENFORCEZERO
• INT

References

• Integer
• Negative Integer

• List of Main Z Functions

• Z3 home