Domains¶
-
sage.categories.domains.
Domains
¶ The category of domains
A domain (or non-commutative integral domain), is a ring, not necessarily commutative, with no nonzero zero divisors.
EXAMPLES:
sage: C = Domains(); C Category of domains sage: C.super_categories() [Category of rings] sage: C is Rings().NoZeroDivisors() True