#12967: comparison of pi and infinity wrong
--------------------------------------------+-------------------------------
Reporter: dkrenn | Owner: burcin
Type: defect | Status: needs_work
Priority: major | Milestone: sage-5.6
Component: symbolics | Resolution:
Keywords: compare pi infinity bool | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Travis Scrimshaw | Merged in:
Dependencies: | Stopgaps:
--------------------------------------------+-------------------------------
Changes (by kcrisman):
* status: needs_review => needs_work
Comment:
{{{
----------------------------------------------------------------------
| Sage Version 5.4.1, Release Date: 2012-11-15 |
| Type "notebook()" for the browser-based notebook interface. |
| Type "help()" for help. |
----------------------------------------------------------------------
sage: bool(pi < infinity)
False
sage: bool(oo < pi)
False
}}}
That is what should actually be tested, as Burcin points out. Also, I
feel like this is unintuitive enough of behavior (that pi is more or less
incomparable with infinity and not like this)
{{{
sage: bool(2< oo)
True
}}}
that we should say something to that effect here, maybe even elsewhere in
comparison doc where we have other examples saying that `>` gives `False`
if we can't prove it's `True`.
I'm also wondering whether this is really "fixed" and deserves that
doctest status.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12967#comment:4>
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.
