These marimo notebooks, adapted from some of the Jupyter notebooks published in https://sagemanifolds.obspm.fr/examples.html, demonstrate some differential geometry capabilities of SageMath.
The corresponding tools have been developed within the SageManifolds project. They are now available in Python environments via the modularized distributions of the Sage library developed by the passagemath project.
- The SageManifolds functionality is shipped as part of passagemath-symbolics.
- The pip-installable package passagemath-maxima provides the backend for symbolic computation.
- passagemath-plot provides 2D and 3D plotting facilities.
- passagemath-repl provides the integration with the marimo notebook.
| Notebook | Description |
|---|---|
|
SM_sphere_S2.py |
The sphere |
|
SM_hyperbolic_plane.py |
Hyperbolic plane |
|
SM_sphere_S3_Hopf.py |
The sphere |
|
SM_Kerr_surfaces.py |
Black hole spacetimes: Kerr spacetime with rational polynomial, Kerr and Kerr-Schild coordinates, Kretschmann scalar, animated plot of the horizons and ergosurfaces. |
The passagemath project curates a library of user packages that make use of the Sage library and makes them ready for the Scientific Python ecosystem. Here are some notebooks that illustrate the functionality of some of these projects.
| Notebook | Description |
|---|---|
| cutgeneratingfunctionology.py |
Study of functions that generalize the integer rounding principle underlying the Chvátal–Gomory cuts and Gomory fractional cuts for integer linear optimization problems. |