Changes between Initial Version and Version 1 of Ticket #21243


Ignore:
Timestamp:
Aug 18, 2016, 6:30:09 AM (6 years ago)
Author:
Matthias Köppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21243

    • Property Cc Travis Scrimshaw added
    • Property Summary changed from RealSet: add closure and interior methods to RealSet: add methods closure, interior, boundary, is_open, is_closed
  • Ticket #21243 – Description

    initial v1  
    77}}}
    88
     9One could also imagine that these should be methods of the real fields (such as RR) considered as a members of the category `TopologicalSpaces`.