PadicNumber == PadicNumber -- equality of p-adic numbers

Description

Test equality of two $p$-adic numbers. Numbers in the same field are compared directly.

i1 : QQ_7 3 == QQ_7 3

o1 = true

i2 : QQ_7 3 == QQ_7 4

o2 = false

If the two numbers lie in different $p$-adic fields, or if one argument is an ordinary number, equality is tested by comparing their lifts to QQ.

i3 : QQ_7 3 == QQ_5 3

o3 = true

i4 : QQ_7 3 == 3

o4 = true

i5 : 3 == QQ_7 3

o5 = true

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