Macaulay2 » Documentation
Packages » Padic » PadicNumber » PadicNumber * PadicNumber » PadicNumber / PadicNumber

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

PadicNumber / PadicNumber -- divide p-adic numbers

Operator: /
Usage:

x / y
Inputs:
- x, a p-adic number,
- y, a p-adic number,
Outputs:
- a p-adic number, the quotient of x and y;

Description

Divide two $p$-adic numbers.

i1 : QQ_2 3 / QQ_2 2

o1 = 1*2^-1 + 1

o1 : QQ  (of precision 20)
       2

If one of the arguments is an ordinary number, it is first promoted to the appropriate $p$-adic field.

i2 : QQ_7 6 / 2

o2 = 3

o2 : QQ  (of precision 20)
       7

i3 : 6 / QQ_7 2

o3 = 3

o3 : QQ  (of precision 20)
       7

Caveat

An error is raised if y is zero.

See also

inverse(PadicNumber) -- multiplicative inverse of a p-adic number

Ways to use this method:

Number / PadicNumber
PadicNumber / Number
PadicNumber / PadicNumber -- divide p-adic numbers

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