IntegralDomains

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

Bases: sage.categories.category.Category

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

IntegralDomains.super_categories(*args, **kwds)

EXAMPLES:

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