id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
9821 problems with infinite polynomial rings fwclarke malb "The functions `is_field` and `is_integral_domain` for infinite polynomial rings lack the keyword `proof`. This can give rise to errors. For example,
{{{
sage: R. = InfinitePolynomialRing(ZZ)
sage: A. = R[[]]
}}}" defect closed minor sage-duplicate/invalid/wontfix commutative algebra duplicate infinite polynomial ring Francis Clarke N/A