#9821 closed defect (duplicate)
problems with infinite polynomial rings
Reported by: | fwclarke | Owned by: | malb |
---|---|---|---|
Priority: | minor | Milestone: | sage-duplicate/invalid/wontfix |
Component: | commutative algebra | Keywords: | infinite polynomial ring |
Cc: | Merged in: | ||
Authors: | Francis Clarke | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
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.<x> = InfinitePolynomialRing(ZZ) sage: A.<t> = R[[]]
Attachments (2)
Change History (7)
Changed 11 years ago by
comment:1 Changed 11 years ago by
- Status changed from new to needs_review
comment:2 follow-up: ↓ 3 Changed 11 years ago by
Could you add a doctest testing the proof parameter.
(Note that this is a duplicate of #9589, but I think this one can get resolved quicker.)
comment:3 in reply to: ↑ 2 Changed 11 years ago by
Replying to mhansen:
Could you add a doctest testing the proof parameter.
This has turned out to be more difficult than expected, but I do now have a replacement patch. In order to create a reasonable doctest I had to correct a bug in sage.rings.quotient_rings.QuotientRing_generic.is_integral_domain
At the same time I have eliminated the Integer(8)
example from that function's doctests, since that ring uses code from sage/rings/finite_rings/integer_mod_ring.pyx
rather than from quotient_rings
.
I didn't think it worth including an example of the use of proof
in is_field
because the parameter is ignored.
(Note that this is a duplicate of #9589, but I think this one can get resolved quicker.)
(You must have meant #9549)
comment:4 Changed 11 years ago by
- Resolution set to duplicate
- Status changed from needs_review to closed
comment:5 Changed 11 years ago by
- Milestone changed from sage-4.6.1 to sage-duplicate/invalid/wontfix
The patch fixes the problem. There were actually two definitions of
is_field
in the file. One has been deleted and the other modified.