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()
Return True, since this in an object of the category of integral domains.
EXAMPLES:
sage: Parent(QQ,category=IntegralDomains()).is_integral_domain()
True
EXAMPLES:
sage: IntegralDomains().super_categories()
[Category of commutative rings, Category of domains]