Discrete Valuation Rings (DVR) and Fields (DVF)¶
-
sage.categories.discrete_valuation.
DiscreteValuationFields
¶ The category of discrete valuation fields
EXAMPLES:
sage: Qp(7) in DiscreteValuationFields() True sage: TestSuite(DiscreteValuationFields()).run()
-
sage.categories.discrete_valuation.
DiscreteValuationRings
¶ The category of discrete valuation rings
EXAMPLES:
sage: GF(7)[['x']] in DiscreteValuationRings() True sage: TestSuite(DiscreteValuationRings()).run()