id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
25836 in PrincipalIdealDomains() and in UniqueFactorizationDomains() give wrong answers ababei "One of the tests in `src/sage/categories/principal_ideal_domains.py` (lines 80-83) is testing that the following ring is not a UFD
{{{#!python
sage: K = QuadraticField(5)
sage: O = K.maximal_order()
sage: O in UniqueFactorizationDomains()
False
}}}
However, trying rings of integers of number fields, which are UFDs or PIDs still gives false as an answer.
{{{#!python
sage: K = QuadraticField(-1)
sage: O = K.maximal_order()
sage: O in UniqueFactorizationDomains()
False
sage: O in PrincipalIdealDomains()
False
}}}
" defect new major sage-8.3 commutative algebra Days95 vdelecroix N/A