#9443: infinite polynomial ring is_integral_domain and is_field omit optional
argument 'proof'
--------------------------+-------------------------------------------------
Reporter: niles | Owner: AlexGhitza
Type: defect | Status: needs_work
Priority: major | Milestone: sage-4.5.2
Component: algebra | Keywords: infinite polynomial ring
Author: niles | Upstream: N/A
Reviewer: Simon King | Merged:
Work_issues: |
--------------------------+-------------------------------------------------
Changes (by mpatel):
* status: positive_review => needs_work
Comment:
Applying [attachment:trac_9443_default_arguments_combined.patch] to the
forthcoming Sage 4.5.2, which is just 4.5.2.rc1 + #9226, I see
{{{
Hunk #1 FAILED at 1036
1 out of 4 hunks FAILED -- saving rejects to file
sage/rings/polynomial/infinite_polynomial_ring.py.rej
patch failed, unable to continue (try -v)
patch failed, rejects left in working dir
errors during apply, please fix and refresh
trac_9443_default_arguments_combined.patch
}}}
The reject file's contents:
{{{
#!diff
--- infinite_polynomial_ring.py
+++ infinite_polynomial_ring.py
@@ -1037,10 +1037,17 @@
"""
return False
- def is_field(self,**kwds):
+ def is_field(self, *args, **kwds):
"""
- Since Infinite Polynomial Rings must have at least one generator,
they
- have infinitely many variables and thus never are fields.
+ Return ``False``, since an infinite polynomial ring has at least
one
+ generator and hence infinitely many variables.
+
+ EXAMPLES::
+
+ sage: R.<x, y> = InfinitePolynomialRing(QQ)
+ sage: R.is_field()
+ False
+
TESTS::
}}}
Can someone rebase the patch when it's convenient? It might be sufficient
to work from #9114.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9443#comment:9>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
