Function ROUND

• Defined in theory: Dme-kb
• Source code: q-operator-definitions.lisp
• Also defined in: Kif-numbers

Slots on this function:

Documentation:

Round is the unary q-operator for rounding the value of its argument

Eg: (round (* 2.3 1.4))

and also:

The term {tt (round $tau$)} denotes the integer nearest to the object denoted by $tau$. If the object denoted by $tau$ is halfway between two integers (for example 3.5), it denotes the nearest integer divisible by 2.

Instance-Of: Function, Q-expression-operator

Arity: 2

Range: Integer