Fields¶
-
sage.categories.fields.
Fields
¶ The category of (commutative) fields, i.e. commutative rings where all non-zero elements have multiplicative inverses
EXAMPLES:
sage: K = Fields() sage: K Category of fields sage: Fields().super_categories() [Category of euclidean domains, Category of division rings] sage: K(IntegerRing()) Rational Field sage: K(PolynomialRing(GF(3), 'x')) Fraction Field of Univariate Polynomial Ring in x over Finite Field of size 3 sage: K(RealField()) Real Field with 53 bits of precision