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

Structure Operations

Subsections

Related Structures

Category(V) : RngVal -> Cat
Parent(V) : RngVal -> Pow
PrimeRing(V) : RngVal -> RngVal
Center(V) : RngVal -> RngVal

FieldOfFractions(V) : RngVal -> Rng
Return field of fractions of the valuation ring V, which is the rational field or the function field from which V was created.

Numerical Invariants

Characteristic(V) : RngVal -> RngIntElt

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

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