[Next][Prev] [Right] [Left] [Up] [Index] [Root]

Creation Functions

Subsections

Creation of Structures

ValuationRing(Q, p) : FldRat, RngIntElt -> RngVal
Given the rational field Q and a rational prime number p, create the valuation ring R corresponding to the discrete non-Archimedean valuation vp, consisting of rational numbers r such that vp(r)≥0, that is, r=(x/y)∈Q such that p not| y.
ValuationRing(F, f) : FldFun, RngUPolElt -> RngVal
Given the rational function field F as a field of fractions of the univariate polynomial ring K[x] over a field K, as well as a monic irreducible polynomial f∈K[x], create the valuation ring R corresponding to the discrete non-Archimedean valuation vf. Thus R consists of rational functions (g/h)∈F with vf(g/h)≥0, that is, with f not| h.
ValuationRing(F) : FldFun -> RngVal
Given the rational function field F as a field of fractions of the univariate polynomial ring K[x] over a field K, create the valuation ring R corresponding to v, consisting of (g/h)∈F such that deg(h)≥deg(g).

Creation of Elements

V ! r : RngVal, FldFunElt -> RngValElt
V ! r : RngVal, FldRatElt -> RngValElt
Given a valuation ring V and an element of the field of fractions F of V (from which V was created), coerce the element r into V. This is only possible for elements r∈F for which the valuation on V is non-negative, an error occurs if this is not the case.
 [Next][Prev] [Right] [Left] [Up] [Index] [Root]

Version: V2.19 of Mon Dec 17 14:40:36 EST 2012