Base class for Dedekind domains

sage.rings.dedekind_domain.is_DedekindDomain(R)

Check to see if R is a DedekindDomain.

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