Opened 5 years ago
Last modified 4 years ago
#18725 closed enhancement
Topological manifolds: morphisms — at Version 18
Reported by:  egourgoulhon  Owned by:  egourgoulhon 

Priority:  major  Milestone:  sage7.2 
Component:  geometry  Keywords:  topological manifolds 
Cc:  Merged in:  
Authors:  Eric Gourgoulhon  Reviewers:  
Report Upstream:  N/A  Work issues:  
Branch:  public/manifolds/top_manif_morphisms  Commit:  668bc26960cf5d2b23c32e3ce51001180e50004b 
Dependencies:  #18640, #18175  Stopgaps: 
Description (last modified by )
This ticket implements morphisms of topological manifolds, i.e. continuous maps between topological manifolds. This is a followup of #18640 within the SageManifolds project. See the metaticket #18528 for an overview.
Two new Python classes are introduced in this ticket:
 the parent class
TopologicalManifoldHomset
for sets Hom(M,N) of morphisms between two topological manifolds M and N over the same topological field K  the element class
ContinuousMap
for elements of Hom(M,N), i.e. continuous maps M > N
Moreover, this ticket introduces plotting capabilities for charts (method RealChart.plot()
) and for points (method TopologicalManifoldPoint.plot()
), which require continuous maps and thus could not have been introduced in #18529.
Documentation:
The reference manual is produced by
sage docbuild reference/manifolds html
It can also be accessed online at http://sagemanifolds.obspm.fr/doc/18725/reference/manifolds/
More documentation (e.g. example worksheets) can be found here.
Change History (18)
comment:1 Changed 5 years ago by
 Commit changed from 608d4ea0bc3fe3616d7d8fea0312c3f6b20ef3a3 to bab7bb4b357625189d52fbf2a7dbda797f095637
comment:2 Changed 5 years ago by
 Commit changed from bab7bb4b357625189d52fbf2a7dbda797f095637 to 6289514bcdc8ee9a62d75acb53d6bbe96c1a88a4
Branch pushed to git repo; I updated commit sha1. New commits:
6289514  Remove unnecessary import in chart.py

comment:3 Changed 5 years ago by
 Commit changed from 6289514bcdc8ee9a62d75acb53d6bbe96c1a88a4 to a4b414cb74b4cec8f96bf4a699e73d8c35b46c13
Branch pushed to git repo; I updated commit sha1. New commits:
a4b414c  Modifications in CoordChange and TopManifold.__init__ to allow for subclasses.

comment:4 Changed 5 years ago by
 Commit changed from a4b414cb74b4cec8f96bf4a699e73d8c35b46c13 to 08808111915767774bdd0116a246f3c929b7a7f6
Branch pushed to git repo; I updated commit sha1. New commits:
0880811  Changes in ContinuousMap, in particular in __invert__

comment:5 Changed 5 years ago by
 Commit changed from 08808111915767774bdd0116a246f3c929b7a7f6 to 30e812a668e3fca229def326012bbc47a450b15e
Branch pushed to git repo; I updated commit sha1. New commits:
30e812a  Minor modifications in CoordFunctionSymb and ContinuousMap.__invert__

comment:6 Changed 5 years ago by
 Commit changed from 30e812a668e3fca229def326012bbc47a450b15e to c0b328480e68b4ac3e0ced337ddd5ef1892e0e7c
Branch pushed to git repo; I updated commit sha1. New commits:
c0b3284  Improve documentation of classes Chart and ContinuousMap

comment:7 Changed 5 years ago by
 Commit changed from c0b328480e68b4ac3e0ced337ddd5ef1892e0e7c to 4c72118b8be5be766944439c53df6bda370e7ae2
Branch pushed to git repo; I updated commit sha1. New commits:
4c72118  Add method plot() to RealChart and TopManifoldPoint

comment:8 Changed 5 years ago by
 Commit changed from 4c72118b8be5be766944439c53df6bda370e7ae2 to 055bf3edc0cb446c14b40bc762874b1343f9aad3
Branch pushed to git repo; I updated commit sha1. New commits:
055bf3e  Improve documentation of RealChart.plot() and TopManifoldPoint.plot()

comment:9 Changed 5 years ago by
 Description modified (diff)
comment:10 Changed 5 years ago by
 Commit changed from 055bf3edc0cb446c14b40bc762874b1343f9aad3 to 57b21df71dc774e673be2f2150a197cfd5bc5a8c
Branch pushed to git repo; I updated commit sha1. New commits:
57b21df  Add doctest to set_axes_labels

comment:11 Changed 5 years ago by
 Commit changed from 57b21df71dc774e673be2f2150a197cfd5bc5a8c to e558c06024e5a7108d857080fb3856bda9f049c1
Branch pushed to git repo; I updated commit sha1. New commits:
e558c06  Improvement in simplify_sqrt_real(); TestSuite run nonverbose

comment:12 Changed 4 years ago by
 Commit changed from e558c06024e5a7108d857080fb3856bda9f049c1 to d65f654de942ede34956278de1b1921f34eed445
Branch pushed to git repo; I updated commit sha1. New commits:
d65f654  Introduce open covers on top manifolds + many improvements in the documentation

comment:13 Changed 4 years ago by
 Commit changed from d65f654de942ede34956278de1b1921f34eed445 to 00c327d98c7edb9f05f781e1c334f785286348cc
Branch pushed to git repo; I updated commit sha1. New commits:
00c327d  Slight reorganization of the reference manual of topological manifolds (morphisms part)

comment:14 Changed 4 years ago by
 Commit changed from 00c327d98c7edb9f05f781e1c334f785286348cc to f8d3f273a52273bf4830ca99a651a43d57090ee4
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
4de19a7  Merge branch 'public/manifolds/top_manif_basics' of git://trac.sagemath.org/sage into sage 6.9

ccc2f81  Remove unnecessary import in chart.py

aad7c58  Modifications in CoordChange and TopManifold.__init__ to allow for subclasses.

3f22784  Minor modifications in CoordFunctionSymb

ba5d142  Improvement in simplify_sqrt_real() and in the documentation.

9977194  Minor improvements in the doc of top manifolds (scalar fields part)

63357e4  Introduce open covers on top manifolds and improve documentation

92da04b  Slight reorganization of the reference manual for topological manifolds (scalar field part)

31d3fa5  Merge #18640 into #18529

f8d3f27  Merge #18725 into #18640

comment:15 Changed 4 years ago by
 Description modified (diff)
 Milestone changed from sage6.8 to sage6.10
 Status changed from new to needs_review
comment:16 Changed 4 years ago by
 Commit changed from f8d3f273a52273bf4830ca99a651a43d57090ee4 to b0521ef6b38d8d70116b2383c0aa7dcf18035749
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
375ff46  Fixing doctest failures and letting a few other rings know they are metric spaces.

8b851a0  Merge branch 'develop' into public/categories/topological_metric_spaces18175

f8f5b93  Fixing last remaining doctests.

041a5d1  Adding padics to metric spaces and some cleanup.

bfa0cdf  One last doc tweak.

d13c368  Fixing doc of metric spaces.

2605c0b  Merge #18529 (Topological manifolds: basics) into #18175 (Implement categories for topological...)

6dec6d5  Implement topological manifolds (basics, #18529) on the new categories for manifolds (#18175)

3403978  Implement top. manifolds (scalar fields, #18640) on the new manifold categories (#18175)

b0521ef  Implement top. manifolds (morphisms, #18725) on the new manifold categories (#18175)

comment:17 Changed 4 years ago by
 Commit changed from b0521ef6b38d8d70116b2383c0aa7dcf18035749 to 668bc26960cf5d2b23c32e3ce51001180e50004b
Branch pushed to git repo; I updated commit sha1. New commits:
f582241  Introduce function Manifold() as the global entry point to construct any type of manifold.

f342e03  Remove UniqueRepresentation from topological manifolds, subsets and charts.

902908b  Revert to UniqueRepresentation for topological manifolds and charts, with the possibility to reuse manifold names.

252e616  Remove UniqueRepresentation, leaving only WithEqualityById, for topological manifolds and charts.

e7139ab  Merge branch top_manif_basics without UniqueRepresentation into top_manif_scalar_fields.

e2f192f  Remove UniqueRepresentation, leaving only WithEqualityById, for scalar fields on topological manifolds

668bc26  Remove UniqueRepresentation, leaving only WithEqualityById, for topological manifold homsets

comment:18 Changed 4 years ago by
 Description modified (diff)
The above commit takes into account this discussion on sagedevel and on ticket #18529: it removes UniqueRepresentation
for the class TopologicalManifoldHomset
, leaving only WithEqualityById
.
Branch pushed to git repo; I updated commit sha1. New commits:
Add doctests to TopManifoldHomset and ContinuousMap