| (integer division)

Name

| — integer division

Syntax

expression | expression

Domain

| : ( R x R* ) -> R

Example

4.1 | 2 = 2

Description

Performs an integer division of the leftmost expression by the rightmost expression. The | operator performs the division and truncactes the resulting value.

You can alternatively use the quot(expression, expression) function. To calculate the remainder of an integer division, you can use the rem(expression, expression) function.