#13125: Reals sets consisting of intervals and isolated points
-------------------------------------+-------------------------------------
       Reporter:  ares               |        Owner:  Ares Ribó
           Type:  enhancement        |       Status:  needs_info
       Priority:  major              |    Milestone:  sage-6.3
      Component:  calculus           |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Volker Braun ,     |    Reviewers:  Ralf Stephan, Peter
  Jordi Saludes , Ares Ribó          |  Bruin
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/vbraun/ticket/13125              |  d7e2c5387d76886ffd9ba509ba78b178447b2192
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by tscrim):

 * status:  positive_review => needs_info


Comment:

 I let this slip off, sorry Volker. I think there should be no coercion
 because there is no way to deal with these (semi)infinite intervals.
 However if we are forced to make this a coercion, then it should be less
 than infinity since my (very anecdotal) evidence says that most
 computations won't escape to `oo`, but instead just don't have a good
 upper bound.

 That being said, I think this should not be positively reviewed as it
 stands.

 Do you think Nils would be a good person to ask about this, someone else,
 or go directly to sage-devel?

--
Ticket URL: <http://trac.sagemath.org/ticket/13125#comment:51>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to