#17799: refactor real_set.RealInterval
-------------------------------------+-------------------------------------
Reporter: rws | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.6
Component: calculus | Resolution:
Keywords: | Merged in:
Authors: Ralf Stephan | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/rws/refactor_real_set_realinterval|
e19c7954d970f3fd9ca54fc95c7010bd3c200179
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Description changed by rws:
Old description:
> 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.
New description:
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'''.
Needed by #14801.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/17799#comment:6>
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.
