atan(RR) -- compute the arctangent of a number

Synopsis

• Usage:

  atan x

• Function: atan
• Inputs:

  • x, a real number
• Outputs:

  • a real number, the arctangent (in radians) of x

Description

i1 : atan 1

o1 = 0.785398

o1 : RR

i2 : abs atan 1 == pi/4

o2 = true