diff --git a/src/sage/combinat/sf/sfa.py b/src/sage/combinat/sf/sfa.py index 29993fa7939..a39e6358709 100644 --- a/src/sage/combinat/sf/sfa.py +++ b/src/sage/combinat/sf/sfa.py @@ -403,10 +403,8 @@ def is_integral_domain(self, proof=True): sage: s.is_integral_domain() True - The following doctest is disabled pending :trac:`15475`:: - - sage: s = SymmetricFunctions(Zmod(14)).s() # not tested - sage: s.is_integral_domain() # not tested + sage: s = SymmetricFunctions(Zmod(14)).s() + sage: s.is_integral_domain() False """ return self.base_ring().is_integral_domain()