#18175: Implement categories for topological and metric spaces and related
categories
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.10
Component: categories | Resolution:
Keywords: geometry, | Merged in:
topology, sd67 | Reviewers: Eric Gourgoulhon
Authors: Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | f8f5b93028708eebb745a1cc92f3b775a760108b
public/categories/topological_metric_spaces-18175| Stopgaps:
Dependencies: #18174 #17160 |
-------------------------------------+-------------------------------------
Comment (by egourgoulhon):
Thanks for the new version. Two remarks:
1/ The new categories do not appear in the reference manual, in the
section "Individual Categories". Shouldn't they ?
2/ The p-adic fields implemented in Sage seems not to have been taken into
account:
{{{
sage: Qp(5) in Fields().Topological()
False
sage: Qp(5) in Fields().Metric()
False
}}}
One should actually have
{{{
sage: Qp(5) in Fields().Metric().Complete()
True
}}}
There could be other metric fields in Sage, or more generally topological
rings, that should be included. But maybe this is too much work for this
ticket and should be delayed to some subsequent ticket ?
--
Ticket URL: <http://trac.sagemath.org/ticket/18175#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.
