#18175: Implement categories for topological and metric spaces and related
categories
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.8
Component: categories | Resolution:
Keywords: geometry, | Merged in:
topology, sd67 | Reviewers:
Authors: Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | 29a97a7919ce9847c1957111f08114b8947d52ec
public/categories/topological_metric_spaces-18175| Stopgaps:
Dependencies: #18174 #17160 |
-------------------------------------+-------------------------------------
Changes (by git):
* commit: 95a30aa57fc62f23a884790b57835d107d8bdeef =>
29a97a7919ce9847c1957111f08114b8947d52ec
Comment:
Branch pushed to git repo; I updated commit sha1. New commits:
||[http://git.sagemath.org/sage.git/commit/?id=31ba0b524330c7f7122c08cfa1727fa0f07d24c1
31ba0b5]||{{{Merge branch
'public/categories/topological_metric_spaces-18175' of
trac.sagemath.org:sage into
public/categories/topological_metric_spaces-18175}}}||
||[http://git.sagemath.org/sage.git/commit/?id=da729cc7e957de9095eb9cdfe909edb7c4fc5d5e
da729cc]||{{{Added more axioms and reworked the manifolds category
structure.}}}||
||[http://git.sagemath.org/sage.git/commit/?id=20a71ae59649bec8e1008af3c6a15fade06ddec3
20a71ae]||{{{Merge branch 'develop' into
public/categories/topological_metric_spaces-18175}}}||
||[http://git.sagemath.org/sage.git/commit/?id=5418b0f2d0f1bf47ad94c9e1209bd92f0e50de56
5418b0f]||{{{Merge branch 'develop' into
public/categories/topological_metric_spaces-18175}}}||
||[http://git.sagemath.org/sage.git/commit/?id=29a97a7919ce9847c1957111f08114b8947d52ec
29a97a7]||{{{Minor fixes and reorganizing the manifolds categories.}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/18175#comment:32>
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.
