Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit ef6f40b

Browse files
author
Travis Scrimshaw
committed
Minor reviewer doc tweaks.
1 parent e19c795 commit ef6f40b

File tree

1 file changed

+20
-18
lines changed

1 file changed

+20
-18
lines changed

src/sage/sets/real_set.py

Lines changed: 20 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -71,37 +71,39 @@ class RealSet.
7171

7272
class InternalRealInterval(UniqueRepresentation, Parent):
7373
"""
74-
A real interval
74+
A real interval.
7575
7676
You are not supposed to create :class:`RealInterval` objects
7777
yourself. Always use :class:`RealSet` instead.
7878
7979
INPUT:
8080
81-
- ``lower`` -- real or minus infinity. The lower bound of the
81+
- ``lower`` -- real or minus infinity; the lower bound of the
8282
interval.
8383
84-
- ``lower_closed`` -- boolean. Whether the interval is closed
85-
at the lower bound.
84+
- ``lower_closed`` -- boolean; whether the interval is closed
85+
at the lower bound
8686
87-
- ``upper`` -- real or (plus) infinity. The upper bound of the
88-
interval.
89-
90-
- ``upper_closed`` -- boolean. Whether the interval is closed
91-
at the upper bound.
92-
93-
- ``check`` -- boolean keyword argument. Whether to check the
94-
other arguments for validity.
87+
- ``upper`` -- real or (plus) infinity; the upper bound of the
88+
interval
9589
96-
EXAMPLES::
90+
- ``upper_closed`` -- boolean; whether the interval is closed
91+
at the upper bound
9792
98-
sage: RealSet([0, oo])
99-
Traceback (most recent call last):
100-
...
101-
ValueError: interval cannot be closed at +oo
93+
- ``check`` -- boolean; whether to check the other arguments
94+
for validity
10295
"""
103-
10496
def __init__(self, lower, lower_closed, upper, upper_closed, check=True):
97+
"""
98+
Initialize ``self``.
99+
100+
EXAMPLES::
101+
102+
sage: RealSet([0, oo])
103+
Traceback (most recent call last):
104+
...
105+
ValueError: interval cannot be closed at +oo
106+
"""
105107
self._lower = lower
106108
self._upper = upper
107109
self._lower_closed = lower_closed

0 commit comments

Comments
 (0)