Manuals/calci/MULTIPLY

MULTIPLY()

PRODUCT ()

• • MULTIPLY() Multiplies its arguments.

Description

• This function calculates the multiplication of given numbers in the array.
• Multiplication is one of the four basic operations of arithmetic.
• Multiplication is adding equal parts or groups.
• Multiplication is the repeated addition and it is the opposite of Division.

Examples

1. MULTIPLY(44,3) = 132
2. MULTIPLY(-7,20) = -140
3. MULTIPLY(8.5,3) = 25.5
4. MULTIPLY(2,6,8) = 96
5. MULTIPLY(1..4,3) = 72
6. A= 5 ; MULTIPLY(A,6) = 30

See Also

• ADD
• MULTIPLYBY
• DIVIDE
• List of Main Z Functions
• Z3 home

References

Multiplication

• List of Main Z Functions

• Z3 home