Cat::PrincipalIdealDomain -- the
category of principal ideal domains
IntroductionCat::PrincipalIdealDomain represents the category of
principal ideal domains.
Generating
the categoryCat::PrincipalIdealDomain()
Cat::GcdDomain
DetailsCat::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...)