#7580: bugs in infinite polynomial ring
-----------------------+----------------------------------------------------
Reporter: was | Owner: SimonKing
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.3.1
Component: algebra | Keywords: infinite polynomial ring coercion
Work_issues: | Author: Simon King
Upstream: N/A | Reviewer:
Merged: |
-----------------------+----------------------------------------------------
Comment(by cremona):
I don't want to join in the reviewing of this in any serious way since I'm
a late arrival to the scene, but I have one minor request: the is_proof()
function for infinite polynomial rings returns False always -- fine, but
the functions needs to have a (redundant) proof parameter since it is
overriding a similar function in a base class. I came across this in
trying something out which involved constructing a univariate polynomial
ring over an infinite poly ring, and some function wanted to know if the
base ring for that was a field, so called is_field() like this:
{{{
elif base_ring.is_field(proof = False):
}}}
(line 422 of sage/rings/polynomial/polynomial_ring_constructor.pyc) which
caused a run time error. Thanks!
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7580#comment:22>
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.
