Macaulay2 » Documentation
Packages » Padic » PadicNumber » interval(PadicNumber,PadicNumber)

next | previous | forward | backward | up | index | toc

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,

Description

Converts a $p$-adic number to a real interval by first lifting to QQ. When two arguments are given, returns the interval with those endpoints.

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)

See also

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

Ways to use this method:

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

The source of this document is in Padic.m2:1113:0.