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

 * status:  needs_work => positive_review
 * work_issues:  find OSX-specific cause of failure =>


Comment:

 Replying to [comment:25 saludes]:
 > Replying to [comment:24 rws]:
 > What to do now? Since the problem seems to be related with `RLF`, should
 we open a new ticket and redirect this to the new one?

 If it happens on OSX only then it cannot be in this patch, so I'll set to
 positive. Now it depends on if people on OSX can reproduce the problem
 without this patch or not; by the above reasoning it should be possible.
 If so, please open a ticket. If not you should wait until this one is in
 Sage.

--
Ticket URL: <http://trac.sagemath.org/ticket/13125#comment:27>
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