Module num_adic 

Adic number objects

Adic integer structs

• UAdic - Finite set of digits to represent arbitrary precision unsigned integers
• EAdic - Exact p-adic integer, either unsigned int, signed int, or rational
• ZAdic - Any of the above or approximately represent any p-adic integer in Z_p

Adic number structs

• QAdic - Fraction field, holding any of the above AdicIntegers along with a Valuation

Composite Adic structs

• PowAdic - p^n-adic integer
• MAdic - m-adic integer, a member of a mixed-prime ring with nonzero zero-divisors

Structs

EAdic

Exact adic integer

MAdic

An adic with a composite as base

PowAdic

An adic with the power of a prime as base

QAdic

Fractional adic number

UAdic

Arbitrary precision unsigned integer

ZAdic

Approximate adic integer