Complete Discrete Valuation Rings (CDVR) and Fields (CDVF)

sage.categories.complete_discrete_valuation.CompleteDiscreteValuationFields

The category of complete discrete valuation fields

EXAMPLES:

sage: Zp(7) in CompleteDiscreteValuationFields()
False
sage: QQ in CompleteDiscreteValuationFields()
False
sage: LaurentSeriesRing(QQ,'u') in CompleteDiscreteValuationFields()
True
sage: Qp(7) in CompleteDiscreteValuationFields()
True
sage: TestSuite(CompleteDiscreteValuationFields()).run()
sage.categories.complete_discrete_valuation.CompleteDiscreteValuationRings

The category of complete discrete valuation rings

EXAMPLES:

sage: Zp(7) in CompleteDiscreteValuationRings()
True
sage: QQ in CompleteDiscreteValuationRings()
False
sage: QQ[['u']] in CompleteDiscreteValuationRings()
True
sage: Qp(7) in CompleteDiscreteValuationRings()
False
sage: TestSuite(CompleteDiscreteValuationRings()).run()