Domains

class sage.categories.domains.Domains(s=None)

Bases: sage.categories.category.Category

The category of domains

An domain (or non-commutative integral domains), is a not necessarily commutative ring which has no zero divisors.

EXAMPLES:

sage: Domains()
Category of domains
sage: Domains().super_categories()
[Category of rings]

TESTS:

sage: TestSuite(Domains()).run()

class ElementMethods

class Domains.ParentMethods

Domains.super_categories(*args, **kwds)

EXAMPLES:

sage: Domains().super_categories()
[Category of rings]