Creation of Structures
ValuationRing(Q, p) : FldRat, RngIntElt -> RngVal
ValuationRing(F, f) : FldFun, RngUPolElt -> RngVal
ValuationRing(F) : FldFun -> RngVal
Creation of Elements
V ! r : RngVal, FldFunElt -> RngValElt
Related Structures
FieldOfFractions(V) : RngVal -> Rng
Arithmetic Operations
v div w : RngValElt, RngValElt -> RngValElt
Other Element Functions
EuclideanNorm(v) : RngValElt -> RngIntElt
Quotrem(v, w) : RngValElt, RngValElt -> RngValElt, RngValElt
GreatestCommonDivisor(v, w) : RngValElt, RngValElt -> RngValElt
ExtendedGreatestCommonDivisor(v, w) : RngValElt, RngValElt -> RngValElt, RngValElt, RngValElt
[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012