Unique factorization domains¶
-
sage.categories.unique_factorization_domains.
UniqueFactorizationDomains
¶ The category of unique factorization domains constructive unique factorization domains, i.e. where one can constructively factor members into a product of a finite number of irreducible elements
EXAMPLES:
sage: UniqueFactorizationDomains() Category of unique factorization domains sage: UniqueFactorizationDomains().super_categories() [Category of gcd domains]