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