Opened 5 years ago

Last modified 4 years ago

#18725 closed enhancement

Topological manifolds: morphisms — at Version 15

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: f8d3f273a52273bf4830ca99a651a43d57090ee4
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 TopManifoldHomset 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 TopManifoldPoint.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 (15)

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
Note: See TracTickets for help on using tickets.