Category of factorial domains
Cat::FactorialDomain represents the category
of factorial domains (i.e., unique factorization domains).
Cat::FactorialDomain is an integral domain
with gcd where an unique factorization can be computed.
The factorization methods are named
must return elements of the domain
Factored over this domain.
details about the representation of the factorization.