View on GitHub

Exact p-Adics

A Magma package for exact p-adic computation

Index of new types

StrPadExact, PadExactElt

Abstract base types for p-adic structures and elements.

FldPadExact, FldPadExactElt

Exact p-adic fields and their elements.

RngUPol_FldPadExact, RngUPolElt_FldPadExact

Rings of univarate polynomials over exact p-adic fields (the exact analogue of RngUPol[FldPad]) and their elements.

RngMPol_FldPadExact, RngMPolElt_FldPadExact

Rings of multivariate polynomials over exact p-adic fields, and their elements.

Val_PadExact, Val_FldPadElt, Val_RngUPolElt_FldPad, …

Valuations of p-adic objects.

HasseHerbTransFunc

Hasse-Herbrand transition functions.

ExtDataFldPadExact

Extensions of exact p-adic fields.

ExactpAdics_Gettr

Computations with lazy p-adic dependencies.

HomFldPadExact

Homomorphisms of exact p-adic fields.

SetCart_PadExact, Tup_PadExact

Cartesian products and tuples of p-adic objects.

TmpFldPadExact, TmpFldPadExactElt

Temporary p-adic fields, and their elements.

RngPadExact, RngPadExactElt

Rings of p-adic integers, and their elements.

AssocDflt

Associative arrays with default values.

ExactpAdics_BndLow

Lower bounds.