interval(PadicNumber,PadicNumber) -- convert p-adic numbers to a real interval

• Function: interval

• Usage:

  interval(x, y)

  interval x

• Inputs:
  • x, a p-adic number or a number,
  • y, a p-adic number or a number,
• Optional inputs:
  • Precision => ..., default value -1
• Outputs:
  • a real interval,

i1 : interval QQ_7 5

o1 = [5,5]

o1 : RRi (of precision 53)

i2 : interval(QQ_7 5, QQ_7 6)

o2 = [5,6]

o2 : RRi (of precision 53)

i3 : interval(QQ_7 5, 6)

o3 = [5,6]

o3 : RRi (of precision 53)

i4 : interval(5, QQ_7 6)

o4 = [5,6]

o4 : RRi (of precision 53)