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]

comment:7

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

[tscrim]

Reviewer: Travis Scrimshaw

[tscrim]

Changed commit from e19c795 to ef6f40b

[tscrim]

comment:8

I made some trivial documentation tweaks. If you're happy them, then positive review.

---

New commits:

ef6f40b

Minor reviewer doc tweaks.

[tscrim]

Changed branch from u/rws/refactor_real_set_realinterval to public/refactor_real_set_realinterval-17799

[rwst]

comment:9

Is fine, thanks.

[vbraun]

Changed branch from public/refactor_real_set_realinterval-17799 to ef6f40b