Manuals/calci/UNITOP

UNITOP(OP,A,B)

• $OP$ is the operation to be performed
• $A$ and $B$ are any two real numbers.

Description

• This function performs the operation mentioned as an argument with the two numbers entered.
• In $UNITOP(OP,A,B)$,$OP$ is the operation to be performed. $A$ and $B$ are any two real numbers.
• If operation can be addition, subtraction, multiplication, division, mod, greater-than, less-than etc.

Examples

1. UNITOP(SUM,5,18) = 23
2. UNITOP(MINUS,-90,-75) = -15
3. UNITOP(GT,210,210) = true (checks if first number is greater than or equal to second number)
4. UNITOP(LT,3.234, 1.42) = false (checks if first number is less than second number)
5. UNITOP(UNITMULTIPLY,5,18) = 90
6. UNITOP(UNITMOD,5,3) = 2
7. UNITOP(UNITDIVIDE,50,5) = 10

See Also

• UNITADD
• GTE
• UNITLE
• List of Main Z Functions
• Z3 home

References

• Math Operations

• List of Main Z Functions

• Z3 home