Opened 3 years ago

Last modified 3 days ago

#18528 new task

SageManifolds metaticket — at Version 32

Reported by: egourgoulhon Owned by: egourgoulhon
Priority: major Milestone: sage-8.3
Component: geometry Keywords: manifold, tensor, differential geometry
Cc: mbejger, mmancini, tscrim, bpillet Merged in:
Authors: Eric Gourgoulhon, Michal Bejger, Marco Mancini Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #18175 Stopgaps:

Description (last modified by egourgoulhon)

This is the implementation of manifolds resulting from the SageManifolds project.

Algebraic part

  • Tensors on free modules of finite rank: #15916 (merged in Sage 6.6)
  • Parallelization of tensor computations on free modules of finite rank: #18100 (merged in Sage 6.10)
  • Improve category for finite rank free modules and provide list functionality for basis: #20770 (merged in Sage 7.3.beta3)

Topological and differential part

  • Topological manifolds (over R, C or a topological field K):
    • basics (charts, subsets): #18529 (merged in Sage 7.1.beta1)
    • scalar fields (continuous functions to the base field): #18640 (merged in Sage 7.3.beta0)
    • morphisms (continuous maps between manifolds): #18725 (merged in Sage 7.3.beta0)
  • Differentiable manifolds (over R, C or a non-discrete topological field K):
    • basics (charts, transition maps, scalar fields, morphisms): #18783 (merged in Sage 7.3.beta2)
    • vector fields, tensor fields and p-forms: #18843 (merged in Sage 7.5.beta1)
    • tangent spaces: #19092 (merged in Sage 7.5.beta3)
    • sets of vector fields as Lie algebroid: #20771 (merged in Sage 7.5.beta3)
    • curves: #19124 (merged in Sage 7.5.beta3)
    • affine connections: #19147 (merged in Sage 7.5.beta4)
    • parallelization of Lie derivative computations: #22200
  • Complex and almost complex manifolds:
    • almost complex structures through Hodge structures: #18786
  • Pseudo-riemannian manifolds:
    • pseudo-riemannian metrics: #19209 (merged in Sage 7.5.beta4)
    • Schouten, Cotton, and Cotton-York tensors: #19823 (merged in Sage 7.5.beta4)
    • Euclidean spaces: #19978

Change History (32)

comment:1 Changed 3 years ago by egourgoulhon

  • Description modified (diff)

comment:2 Changed 3 years ago by egourgoulhon

  • Cc bpillet added
  • Description modified (diff)

comment:3 Changed 3 years ago by egourgoulhon

  • Description modified (diff)
  • Summary changed from SageManifolds meta-ticket to SageManifolds metaticket

comment:4 Changed 3 years ago by egourgoulhon

  • Description modified (diff)

comment:5 Changed 3 years ago by egourgoulhon

  • Description modified (diff)

comment:6 Changed 3 years ago by egourgoulhon

  • Description modified (diff)
  • Milestone changed from sage-6.8 to sage-6.9

comment:7 Changed 3 years ago by egourgoulhon

  • Description modified (diff)

comment:8 Changed 3 years ago by egourgoulhon

  • Description modified (diff)

comment:9 Changed 3 years ago by egourgoulhon

  • Keywords manifold tensor added; manifolds tensors removed

comment:10 Changed 3 years ago by egourgoulhon

  • Description modified (diff)

comment:11 Changed 3 years ago by egourgoulhon

  • Description modified (diff)

comment:12 Changed 3 years ago by egourgoulhon

  • Milestone changed from sage-6.9 to sage-6.10

All the tickets, except for #18786, are now ready for review.

comment:13 Changed 3 years ago by egourgoulhon

All the tickets are now based on the category ticket #18175, so that the manifold categories are

  • Manifolds(K) for topological manifolds over a topological field K
  • Manifolds(K).Differentiable() for differentiable manifolds
  • Manifolds(K).Smooth() for smooth manifolds

comment:14 follow-up: Changed 3 years ago by tscrim

Something I would like to see once the basics are done is a catalog of examples and common interesting manifolds:

  • n-sphere
  • n-torus
  • real/complex projective n-space
  • surfaces
  • (Affine) Grassmannians
  • Classical Lie groups (more for my info, a description of charts is on page 5 of https://www.dpmms.cam.ac.uk/~agk22/mfds.pdf, but this probably isn't a good atlas for doing computations)

I understand that some of these could be considered more wishlist than others. Some other wishlist items:

  • Morse theory to compute homology of manifolds.
  • Manifolds with boundary
  • Cartesian products of manifolds (or more generally, fiber bundles)
  • DeRham? cohomology (see, e.g., lecture notes above)

comment:15 in reply to: ↑ 14 Changed 3 years ago by egourgoulhon

Replying to tscrim:

Something I would like to see once the basics are done is a catalog of examples and common interesting manifolds:

Thanks for these suggestions. For sure, one should have a catalog of standard manifolds. For the time being, there are only examples available as worksheets at http://sagemanifolds.obspm.fr/examples.html, for instance

I understand that some of these could be considered more wishlist than others. Some other wishlist items:

  • Morse theory to compute homology of manifolds.
  • Manifolds with boundary
  • Cartesian products of manifolds (or more generally, fiber bundles)
  • DeRham? cohomology (see, e.g., lecture notes above)

All the above seem indeed desirable extensions. Even if they are not implemented yet, we should have them in mind when setting the basics.

comment:16 Changed 3 years ago by egourgoulhon

PS: could you point to some existing catalog in Sage, in order to have some example?

comment:17 follow-up: Changed 3 years ago by tscrim

  • algebras.<tab> in sage/algebras/catalog.py
  • crystals.<tab> in sage/combinat/crystals.catalog.py
  • designs.<tab> in sage/combinat/designs.designs_catalog.py
  • groups.<tab> in sage/groups/groups_catalog.py

comment:18 in reply to: ↑ 17 Changed 3 years ago by egourgoulhon

Thanks!

comment:19 Changed 3 years ago by egourgoulhon

  • Description modified (diff)
  • Milestone changed from sage-6.10 to sage-7.0

comment:20 Changed 2 years ago by egourgoulhon

  • Description modified (diff)
  • Milestone changed from sage-7.0 to sage-7.1

comment:21 Changed 2 years ago by egourgoulhon

  • Description modified (diff)

comment:22 Changed 2 years ago by egourgoulhon

  • Description modified (diff)
  • Milestone changed from sage-7.1 to sage-7.3

comment:23 Changed 2 years ago by egourgoulhon

  • Description modified (diff)

comment:24 Changed 2 years ago by tscrim

  • Description modified (diff)

comment:25 Changed 2 years ago by egourgoulhon

  • Description modified (diff)

comment:26 Changed 2 years ago by egourgoulhon

  • Description modified (diff)

comment:27 Changed 2 years ago by egourgoulhon

  • Milestone changed from sage-7.3 to sage-7.4

comment:28 Changed 21 months ago by egourgoulhon

  • Description modified (diff)

comment:29 Changed 21 months ago by egourgoulhon

  • Milestone changed from sage-7.4 to sage-7.5

comment:30 Changed 20 months ago by egourgoulhon

  • Description modified (diff)

comment:31 Changed 20 months ago by egourgoulhon

  • Description modified (diff)

comment:32 Changed 18 months ago by egourgoulhon

  • Description modified (diff)
Note: See TracTickets for help on using tickets.