Abstract base class for principal ideal domains

sage.rings.principal_ideal_domain.is_PrincipalIdealDomain(R)

Check if R is a PrincipalIdealDomain.

EXAMPLES:

sage: import sage.rings.principal_ideal_domain
doctest:...: DeprecationWarning: the module sage.rings.principal_ideal_domain is deprecated and will be removed
See http://trac.sagemath.org/20011 for details.
sage: sage.rings.principal_ideal_domain.is_PrincipalIdealDomain(ZZ)
True
sage: R.<x,y> = QQ[]
sage: sage.rings.principal_ideal_domain.is_PrincipalIdealDomain(R)
False