Base class for Dedekind domains¶
-
sage.rings.dedekind_domain.
is_DedekindDomain
(R)¶ Check to see if
R
is aDedekindDomain
.EXAMPLES:
sage: import sage.rings.dedekind_domain doctest:...: DeprecationWarning: the module sage.rings.dedekind_domain is deprecated and will be removed See http://trac.sagemath.org/20011 for details. sage: sage.rings.dedekind_domain.is_DedekindDomain(DedekindDomain(QQ)) True