Domains¶
-
class
sage.categories.domains.Domains(base_category)¶ Bases:
sage.categories.category_with_axiom.CategoryWithAxiom_singletonThe 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
-
Commutative¶
-
class
ElementMethods¶
-
class
ParentMethods¶
-
super_categories()¶ EXAMPLES:
sage: Domains().super_categories() [Category of rings]
-