Opened 6 years ago

Last modified 17 months ago

#21243 closed enhancement

RealSet: add methods closure, interior, boundary, is_open, is_closed — at Version 1

Reported by: Matthias Köppe Owned by:
Priority: major Milestone: sage-9.4
Component: basic arithmetic Keywords:
Cc: Ralf Stephan, Volker Braun, Peter Bruin, Travis Scrimshaw, Michael Jung, Yuan Zhou Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Matthias Köppe)

The intervals in a RealSet already have these methods.

It would also be nice to be able to compute closure and interior relative to a given larger RealSet.

sage: RealSet((1, 2)).closure(relative_to=RealSet((0, 2))  # wishful thinking
[1, 2)

One could also imagine that these should be methods of the real fields (such as RR) considered as a members of the category TopologicalSpaces.

Change History (1)

comment:1 Changed 6 years ago by Matthias Köppe

Cc: Travis Scrimshaw added
Description: modified (diff)
Summary: RealSet: add closure and interior methodsRealSet: add methods closure, interior, boundary, is_open, is_closed
Note: See TracTickets for help on using tickets.