#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: | 252e616cc053a3b76ee563282222507cd78c9fb8
public/manifolds/top_manif_basics | Stopgaps:
Dependencies: #18175 |
-------------------------------------+-------------------------------------
Comment (by egourgoulhon):
Replying to [comment:54 tscrim]:
> What we need is a category or ABC of realizations of the real field that
allows us to set things like the category across the board and give us
ways to tell a manifold is over the real numbers. Although perhaps in this
case we can just handle the strings `"real"` and `"complex"` and have them
default to the category of `Manifolds(RR)` and `Manifolds(CC)`.
Yes, for the time being, we could have two attributes in the manifold
class:
- `_field_type`, a string with values `'real'`, `'complex'` or `'other'`,
which is the thing that is checked against to know if we are dealing with
e.g. a real manifold; for instance, to decide whether the charts are
constructed in the subclass `RealChart` of the generic class `Chart`.
- `_field`, which contains the field for the manifold category; it could
default to `RR` for `_field_type == 'real'`.
Do you agree?
--
Ticket URL: <http://trac.sagemath.org/ticket/18529#comment:55>
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.
