log1p -- logarithm of 1+x

Synopsis

• Usage:

  log1p x

  log1p I

• Inputs:
  • x
  • I, a real interval
• Outputs:
  • a real number, the logarithm of 1+x
  • a real interval, an interval containing logarithm of 1 plus the points of I

Description

i1 : log1p 1p100e-10

o1 = 9.99999999950000000003333333333e-11

o1 : RR (of precision 100)

i2 : log(1 + 1p100e-10)

o2 = 9.99999999950000000005934045724e-11

o2 : RR (of precision 100)