sqrt -- square root function

• Usage:

  sqrt x

  sqrt I

• Inputs:
  • x, a real number
  • I, a real interval
• Outputs:
  • the square root of x
  • a real interval, an interval containing the square roots of the points of I

i1 : sqrt 2p200

o1 = 1.41421356237309504880168872420969807856967187537694807317668

o1 : RR (of precision 200)

i2 : sqrt (+ii)

o2 = .7071067811865476+.7071067811865475*ii

o2 : CC (of precision 53)