Changes between Version 6 and Version 7 of Ticket #17799


Ignore:
Timestamp:
02/22/15 07:55:41 (6 years ago)
Author:
rws
Comment:

Okay, it's no longer needed by #14801.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #17799

    • Property Priority changed from major to minor

  • Ticket #17799 – Description

    v6 v7  
    1 The class `sage.sets.real_set.RealInterval` is badly named. Despite being private it can be easily confused with `RealInterval=sage.rings.real_mpfi.RealIntervalFieldElement`. The ticket will rename `real_set.py:RealInterval` and add code such that `RealSet`s can be created from it. The reason the latter is needed is, '''although the class is private, its instances can be exposed and users may at least want to create new `RealSet`s from them'''.
    2 
    3 Needed by #14801.
     1The class `sage.sets.real_set.RealInterval` is badly named. Despite being "private" it can be easily confused in the documentation with `RealInterval=sage.rings.real_mpfi.RealIntervalFieldElement`. The ticket will rename `real_set.py:RealInterval`.