#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 tscrim):
Replying to [comment:55 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?
Yes that sounds like a good plan along with some simple type checking for
default values of `_field_type` against `RealField` and `ComplexField`
since (IMO) these are what most users will use for the reals and
complexes.
--
Ticket URL: <http://trac.sagemath.org/ticket/18529#comment:56>
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.
