refactor real_set.RealInterval

[rwst]

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.

Component: calculus

Author: Ralf Stephan

Branch/Commit: ef6f40b

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/17799

[rwst]

Branch: u/rws/refactor_real_set_realinterval

[rwst]

New commits:

566688b

17799: refactor real_set.py:RealInterval

[rwst]

Commit: 566688b

[rwst]

Author: Ralf Stephan

[tscrim]

comment:3

You missed this on in the docstring of __init__:

You are not supposed to create :class:`RealInterval` objects

Also could you also move the docstring (except the example block) up to the class level? Thanks.

[rwst]

comment:4

You haven't read the description: 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 RealSets from them.

[sagetrac-git]

Changed commit from 566688b to e19c795

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

3388b08	Merge branch 'develop' into t/17799/refactor_real_set_realinterval
e19c795	17799: cosmetics

[rwst]

Description changed:

--- 
+++ 
@@ -1 +1,3 @@
-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.
+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.

[rwst]

comment:7

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