#11350: Fraction fields should know whether they are finite or not.
-------------------------------+--------------------------------------------
Reporter: SimonKing | Owner: AlexGhitza
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.7.1
Component: algebra | Keywords: fraction field, is_finite
Work_issues: | Upstream: N/A
Reviewer: Robert Bradshaw | Author: Simon King
Merged: | Dependencies:
-------------------------------+--------------------------------------------
Comment(by jdemeyer):
Replying to [comment:6 SimonKing]:
> Replying to [comment:5 jdemeyer]:
> > *ping*
>
> Thanks for pinging. I am now trying to find a good replacement for that
test.
>
> The problem is: We need an object that has a "list" method (after all,
the comments for the test state that `F.list()` would run forever), and we
need one that does not know whether it is finite or not.
I actually don't quite understand the purpose of the current example in
{{{structure/parent.pyx}}} because (without the patch) one gets:
{{{
sage: R.<t> = QQ[]
sage: F = FractionField(R)
sage: list(F)
---------------------------------------------------------------------------
NotImplementedError Traceback (most recent call
last)
/usr/local/src/sage-4.7.1.alpha3/<ipython console> in <module>()
/usr/local/src/sage-4.7.1.alpha3/local/lib/python2.6/site-
packages/sage/rings/ring.so in sage.rings.ring.Ring.__iter__
(sage/rings/ring.c:1820)()
NotImplementedError: object does not support iteration
sage: F.list()
---------------------------------------------------------------------------
NotImplementedError Traceback (most recent call
last)
/usr/local/src/sage-4.7.1.alpha3/<ipython console> in <module>()
/usr/local/src/sage-4.7.1.alpha3/local/lib/python2.6/site-
packages/sage/structure/parent.so in
sage.structure.parent.Parent._list_from_iterator_cached
(sage/structure/parent.c:7943)()
/usr/local/src/sage-4.7.1.alpha3/local/lib/python2.6/site-
packages/sage/rings/ring.so in sage.rings.ring.Ring.is_finite
(sage/rings/ring.c:6011)()
NotImplementedError:
}}}
So it seems that even the current test doesn't do what is claimed.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11350#comment:8>
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.
