Integral domains

class sage.categories.integral_domains.IntegralDomains(s=None)

Bases: sage.categories.category_singleton.Category_singleton

The category of integral domains commutative rings with no zero divisors

EXAMPLES:

sage: IntegralDomains()
Category of integral domains
sage: IntegralDomains().super_categories()
[Category of commutative rings, Category of domains]

TESTS:

sage: TestSuite(IntegralDomains()).run()
class ElementMethods
class IntegralDomains.ParentMethods
is_integral_domain()

Return True, since this in an object of the category of integral domains.

EXAMPLES:

sage: Parent(QQ,category=IntegralDomains()).is_integral_domain()
True
IntegralDomains.super_categories()

EXAMPLES:

sage: IntegralDomains().super_categories()
[Category of commutative rings, Category of domains]

Previous topic

Infinite Enumerated Sets

Next topic

Lattice posets

This Page