Abstract base class for principal ideal domains¶
-
sage.rings.principal_ideal_domain.
is_PrincipalIdealDomain
(R)¶ Check if
R
is aPrincipalIdealDomain
.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