Hey everyone,
While working on #13840, I noticed that sage's InfinityRing did not
coerce a floating point infinity, so the following occurs:
sage: oo == float('+inf')
False
sage: float('inf') < oo
True
What I am proposing is on ticket
#14045<http://trac.sagemath.org/sage_trac/ticket/14045>which does a coercion to
sage's infinity. However floating points are
converted to infinity when an overflow occurs:
sage: f = float(2.0)
sage: type(f)
<type 'float'>
sage: f = f^1000
sage: f*f
inf
sage: type(_)
<type 'float'>
So is this coercion a valid thing to do?
Thanks,
Travis
Also here's what happens with a few other similar type of elements:
sage: r = 2.0
sage: type(r)
<type 'sage.rings.real_mpfr.RealLiteral'>
sage: r = r^100000000
sage: r = r^100000000
sage: r
+infinity
sage: type(r)
<type 'sage.rings.real_mpfr.RealNumber'>
sage: r == oo
False
sage: r < oo
True
sage: r = RDF(2.0)
sage: r
2.0
sage: type(r)
<type 'sage.rings.real_double.RealDoubleElement'>
sage: r = r^100000000
sage: r
+infinity
sage: type(r)
<type 'sage.rings.real_double.RealDoubleElement'>
sage: r == oo
False
sage: r < oo
True
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
