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()