numeric(ZZ,PadicNumber) -- convert a p-adic number to a real number

• Function: numeric

• Usage:

  numeric(prec, x)

  numeric x

• Inputs:
  • prec, an integer, number of bits of precision;
  • x, a p-adic number,
• Outputs:
  • a real number,

i1 : numeric QQ_7 5

o1 = 5

o1 : RR (of precision 53)

i2 : numeric(100, QQ_7 5)

o2 = 5

o2 : RR (of precision 100)