#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:25 tscrim]:
>
> I don't know how easy it would be to make this a check on the atlas used
to construct the manifold. I would make it select it automatically if
possible, and then default to the most general setting of `'topological'`.
Actually in the current setting, the atlas is not specified at the
construction of the manifold: charts and transition maps are introduced on
the fly, at any step in the user workflow. Therefore the type of manifold
has to be declared explicitly by the user. It is my impression (but I may
be biased) that one speaks about a "manifold" without any qualifier, one
implicitely means a "real smooth manifold". Therefore I would set the
default arguments of the `Manifold` function to `field='real'` and
`type='smooth'`.
>
> I would then add an additional argument of `implementation`, which would
default to the native Sage implementation, if there does become a name
clash and have the constructor delegate out to the !SnapPy version when it
exists in Sage (IDK if it is Sage now or not).
Good idea!
--
Ticket URL: <http://trac.sagemath.org/ticket/18529#comment:26>
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.
