#18529: Topological manifolds: basics
-------------------------------------+-------------------------------------
Reporter: egourgoulhon | Owner: egourgoulhon
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.10
Component: geometry | Resolution:
Keywords: topological | Merged in:
manifolds | Reviewers:
Authors: Eric Gourgoulhon | Work issues:
Report Upstream: N/A | Commit:
Branch: | 6dec6d592a09e56921b9a761827309dd31ae2533
public/manifolds/top_manif_basics | Stopgaps:
Dependencies: #18175 |
-------------------------------------+-------------------------------------
Comment (by egourgoulhon):
Replying to [comment:28 egourgoulhon]:
> Replying to [comment:27 tscrim]:
> >
> > - I would separate out parts of the subset class that applies to
`Top(ological)Manifold` and `TopManifoldSubset` into an ABC (abstract base
class) so you don't have to do things like `self is manifold`.
> >
>
> I am not sure an ABC would help here: this would make a clear
distinction between the manifold and strict subsets of it (thus avoiding
the very few tests `self is self._manifold`), but on the other hand, we
need open strict subsets to be in the class `TopologicalManifolds`.
>
I gave a second thought to this: are you thinking about something like
{{{
The_ABC
/ \
TopologicalManifoldStrictSubset TopologicalManifold
\ /
TopologicalManifoldStrictOpenSubset
}}}
with the methods superset(), intersection() and union() being implemented
in each of the classes `TopologicalManifoldStrictSubset` and
`TopologicalManifold` ?
--
Ticket URL: <http://trac.sagemath.org/ticket/18529#comment:29>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
