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: sage-7.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 egourgoulhon)

This ticket implements morphisms of topological manifolds, i.e. continuous maps between topological manifolds. This is a follow-up 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 git

  • Commit changed from 608d4ea0bc3fe3616d7d8fea0312c3f6b20ef3a3 to bab7bb4b357625189d52fbf2a7dbda797f095637

Branch pushed to git repo; I updated commit sha1. New commits:

bab7bb4Add doctests to TopManifoldHomset and ContinuousMap

comment:2 Changed 5 years ago by git

  • Commit changed from bab7bb4b357625189d52fbf2a7dbda797f095637 to 6289514bcdc8ee9a62d75acb53d6bbe96c1a88a4

Branch pushed to git repo; I updated commit sha1. New commits:

6289514Remove unnecessary import in chart.py

comment:3 Changed 5 years ago by git

  • Commit changed from 6289514bcdc8ee9a62d75acb53d6bbe96c1a88a4 to a4b414cb74b4cec8f96bf4a699e73d8c35b46c13

Branch pushed to git repo; I updated commit sha1. New commits:

a4b414cModifications in CoordChange and TopManifold.__init__ to allow for subclasses.

comment:4 Changed 5 years ago by git

  • Commit changed from a4b414cb74b4cec8f96bf4a699e73d8c35b46c13 to 08808111915767774bdd0116a246f3c929b7a7f6

Branch pushed to git repo; I updated commit sha1. New commits:

0880811Changes in ContinuousMap, in particular in __invert__

comment:5 Changed 5 years ago by git

  • Commit changed from 08808111915767774bdd0116a246f3c929b7a7f6 to 30e812a668e3fca229def326012bbc47a450b15e

Branch pushed to git repo; I updated commit sha1. New commits:

30e812aMinor modifications in CoordFunctionSymb and ContinuousMap.__invert__

comment:6 Changed 5 years ago by git

  • Commit changed from 30e812a668e3fca229def326012bbc47a450b15e to c0b328480e68b4ac3e0ced337ddd5ef1892e0e7c

Branch pushed to git repo; I updated commit sha1. New commits:

c0b3284Improve documentation of classes Chart and ContinuousMap

comment:7 Changed 5 years ago by git

  • Commit changed from c0b328480e68b4ac3e0ced337ddd5ef1892e0e7c to 4c72118b8be5be766944439c53df6bda370e7ae2

Branch pushed to git repo; I updated commit sha1. New commits:

4c72118Add method plot() to RealChart and TopManifoldPoint

comment:8 Changed 5 years ago by git

  • Commit changed from 4c72118b8be5be766944439c53df6bda370e7ae2 to 055bf3edc0cb446c14b40bc762874b1343f9aad3

Branch pushed to git repo; I updated commit sha1. New commits:

055bf3eImprove documentation of RealChart.plot() and TopManifoldPoint.plot()

comment:9 Changed 5 years ago by egourgoulhon

  • Description modified (diff)

comment:10 Changed 5 years ago by git

  • Commit changed from 055bf3edc0cb446c14b40bc762874b1343f9aad3 to 57b21df71dc774e673be2f2150a197cfd5bc5a8c

Branch pushed to git repo; I updated commit sha1. New commits:

57b21dfAdd doctest to set_axes_labels

comment:11 Changed 5 years ago by git

  • Commit changed from 57b21df71dc774e673be2f2150a197cfd5bc5a8c to e558c06024e5a7108d857080fb3856bda9f049c1

Branch pushed to git repo; I updated commit sha1. New commits:

e558c06Improvement in simplify_sqrt_real(); TestSuite run non-verbose

comment:12 Changed 4 years ago by git

  • Commit changed from e558c06024e5a7108d857080fb3856bda9f049c1 to d65f654de942ede34956278de1b1921f34eed445

Branch pushed to git repo; I updated commit sha1. New commits:

d65f654Introduce open covers on top manifolds + many improvements in the documentation

comment:13 Changed 4 years ago by git

  • Commit changed from d65f654de942ede34956278de1b1921f34eed445 to 00c327d98c7edb9f05f781e1c334f785286348cc

Branch pushed to git repo; I updated commit sha1. New commits:

00c327dSlight reorganization of the reference manual of topological manifolds (morphisms part)

comment:14 Changed 4 years ago by git

  • Commit changed from 00c327d98c7edb9f05f781e1c334f785286348cc to f8d3f273a52273bf4830ca99a651a43d57090ee4

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

4de19a7Merge branch 'public/manifolds/top_manif_basics' of git://trac.sagemath.org/sage into sage 6.9
ccc2f81Remove unnecessary import in chart.py
aad7c58Modifications in CoordChange and TopManifold.__init__ to allow for subclasses.
3f22784Minor modifications in CoordFunctionSymb
ba5d142Improvement in simplify_sqrt_real() and in the documentation.
9977194Minor improvements in the doc of top manifolds (scalar fields part)
63357e4Introduce open covers on top manifolds and improve documentation
92da04bSlight reorganization of the reference manual for topological manifolds (scalar field part)
31d3fa5Merge #18640 into #18529
f8d3f27Merge #18725 into #18640

comment:15 Changed 4 years ago by egourgoulhon

  • Description modified (diff)
  • Milestone changed from sage-6.8 to sage-6.10
  • Status changed from new to needs_review

comment:16 Changed 4 years ago by git

  • Commit changed from f8d3f273a52273bf4830ca99a651a43d57090ee4 to b0521ef6b38d8d70116b2383c0aa7dcf18035749

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

375ff46Fixing doctest failures and letting a few other rings know they are metric spaces.
8b851a0Merge branch 'develop' into public/categories/topological_metric_spaces-18175
f8f5b93Fixing last remaining doctests.
041a5d1Adding p-adics to metric spaces and some cleanup.
bfa0cdfOne last doc tweak.
d13c368Fixing doc of metric spaces.
2605c0bMerge #18529 (Topological manifolds: basics) into #18175 (Implement categories for topological...)
6dec6d5Implement topological manifolds (basics, #18529) on the new categories for manifolds (#18175)
3403978Implement top. manifolds (scalar fields, #18640) on the new manifold categories (#18175)
b0521efImplement top. manifolds (morphisms, #18725) on the new manifold categories (#18175)

comment:17 Changed 4 years ago by git

  • Commit changed from b0521ef6b38d8d70116b2383c0aa7dcf18035749 to 668bc26960cf5d2b23c32e3ce51001180e50004b

Branch pushed to git repo; I updated commit sha1. New commits:

f582241Introduce function Manifold() as the global entry point to construct any type of manifold.
f342e03Remove UniqueRepresentation from topological manifolds, subsets and charts.
902908bRevert to UniqueRepresentation for topological manifolds and charts, with the possibility to reuse manifold names.
252e616Remove UniqueRepresentation, leaving only WithEqualityById, for topological manifolds and charts.
e7139abMerge branch top_manif_basics without UniqueRepresentation into top_manif_scalar_fields.
e2f192fRemove UniqueRepresentation, leaving only WithEqualityById, for scalar fields on topological manifolds
668bc26Remove UniqueRepresentation, leaving only WithEqualityById, for topological manifold homsets

comment:18 Changed 4 years ago by egourgoulhon

  • Description modified (diff)

The above commit takes into account this discussion on sage-devel and on ticket #18529: it removes UniqueRepresentation for the class TopologicalManifoldHomset, leaving only WithEqualityById.

Note: See TracTickets for help on using tickets.