#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         |   Resolution:
       Keywords:  geometry,          |    Merged in:
  topology, sd67                     |    Reviewers:
        Authors:  Travis Scrimshaw   |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  fcc3273fbb9e83da6c61027463e3ed4582009514
  public/categories/topological_metric_spaces-18175|     Stopgaps:
   Dependencies:  #18174 #17160      |
-------------------------------------+-------------------------------------
Changes (by git):

 * commit:  aea3a7dea7fb5325b4e950be6c4c76b64c491cdd =>
     fcc3273fbb9e83da6c61027463e3ed4582009514


Comment:

 Branch pushed to git repo; I updated commit sha1. New commits:
 
||[http://git.sagemath.org/sage.git/commit/?id=349fe0fc25622a4121690a4b1cab9f98e5a75ade
 349fe0f]||{{{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=fcc3273fbb9e83da6c61027463e3ed4582009514
 fcc3273]||{{{Move dim to all manifolds, move methods from H-plane to
 metric spaces, some fixes.}}}||

--
Ticket URL: <http://trac.sagemath.org/ticket/18175#comment:10>
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.

Reply via email to