Changes between Version 6 and Version 7 of Ticket #17799
- Timestamp:
- 02/22/15 07:55:41 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #17799
-
Property
Priority
changed from
major
tominor
-
Property
Priority
changed from
-
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. 1 The 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`.