#18175: Implement categories for topological and metric spaces and related
categories
---------------------------+--------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.6
Component: categories | Keywords: geometry, topology
Merged in: | Authors: Travis Scrimshaw
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
---------------------------+--------------------------------------
After a discussion at Sage Days 64, we decided to implement a variety of
categories pertaining to geometry and topology to lend assistance to
[http://sagemanifolds.obspm.fr SageManifolds] (#14865) and to generalize
idioms in the hyperbolic geometry (#9439). This implements the following
categories:
- topological spaces
- metric spaces
- manifolds
- CW complexes
- simplicial complexes (which has been needed, see #10667, #6099)
- Lie groups
and axioms:
- complex
- compact
- differentiable
- smooth
--
Ticket URL: <http://trac.sagemath.org/ticket/18175>
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.
