F.3 Arithmetic Functions

*/2Multiplication
**/2Power function
+/1Unary plus (No-op)
+/2Addition
-/1Unary minus
-/2Subtraction
//2Division
///2Integer division
/\/2Bitwise and
<</2Bitwise left shift
>>/2Bitwise right shift
./2List of one character: character code
\/1Bitwise negation
\//2Bitwise or
^/2Power function
abs/1Absolute value
acos/1Inverse (arc) cosine
asin/1Inverse (arc) sine
atan/1Inverse (arc) tangent
atan/2Rectangular to polar conversion
atan2/2Rectangular to polar conversion
ceil/1Smallest integer larger than arg
ceiling/1Smallest integer larger than arg
cos/1Cosine
copysign/2Apply sign of N2 to N1
cputime/0Get CPU time
div/2Integer division
e/0Mathematical constant
epsilon/0Floating point precision
eval/1Evaluate term as expression
exp/1Exponent (base e)
float/1Explicitly convert to float
float_fractional_part/1Fractional part of a float
float_integer_part/1Integer part of a float
floor/1Largest integer below argument
gcd/2Greatest common divisor
integer/1Round to nearest integer
log/1Natural logarithm
log10/110 base logarithm
lsb/1Least significant bit
max/2Maximum of two numbers
min/2Minimum of two numbers
msb/1Most significant bit
mod/2Remainder of division
powm/3Integer exponent and modulo
random/1Generate random number
random_float/0Generate random number
rational/1Convert to rational number
rationalize/1Convert to rational number
rdiv/2Ration number division
rem/2Remainder of division
round/1Round to nearest integer
truncate/1Truncate float to integer
pi/0Mathematical constant
popcount/1Count 1s in a bitvector
sign/1Extract sign of value
sin/1Sine
sqrt/1Square root
tan/1Tangent
xor/2Bitwise exclusive or