Cat::PrincipalIdealDomain
-- the
category of principal ideal domainsCat::PrincipalIdealDomain
represents the category of
principal ideal domains.
Cat::PrincipalIdealDomain()
Cat::GcdDomain
Cat::PrincipalIdealDomain
is an integral domain with
gcd where each ideal is principal. Note that the method
"idealGenerator"
has to find generators for finitely
generated ideals only.idealGenerator(dom x...)