id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
30525 SageManifolds metaticket 2 egourgoulhon "This metaticket collects tickets related to manifolds in Sage 9.3 or higher. For the initial implementation of manifolds in Sage up to version 9.2, see the metaticket 1: #18528.
The works listed here result from the [http://sagemanifolds.obspm.fr/ SageManifolds project], developed by the following [http://sagemanifolds.obspm.fr/authors.html authors].
== Generic ==
- #30139: Metaticket about manifold code improvement
- #30116: Replace `__eq__` by `_richcmp_` for manifolds
- #30473: Unicode operators for sage.manifolds ''(merged in Sage 9.4.beta5)''
- #30554: Metaticket: Deprecated features
- #30189: Metaticket: Add examples to manifold catalog
- #30799: Add folder for manifold examples ''(merged in Sage 9.3.beta0)''
- #31202: Fix some typos in `src/sage/manifolds/` ''(merged in Sage 9.3.beta9)''
- #31241; Forgetful functors for manifold objects
- #31704: Remove Python 2 compatibility from manifolds ''(merged in Sage 9.4.beta2)''
- #32274: Restructure manifold module
- #32457: Fix a few documentation issues in manifolds ''(merged in Sage 9.5.beta2)''
- #32476: `__copy__`, `__deepcopy__` methods for all classes that define `copy` methods
== Algebraic part ==
- #28813: Enhance symmetry handling for tensors
- #29099: Extension of admissible indices conventions for tensors with indices
- #29619: Sparse iterator for tensor components
- #29820: Compacting the display of tensor product
- #29796: Parallelization of wedge product
- #30095: sage.tensor.modules: Add `SymPowerFreeModule`
- #30096: sage.tensor.modules: Add backends using !TensorFlow Core and !PyTorch:
- #30164: Add category `FreeModules` (without distinguished basis)
- #30174: Trivial coercion `Modules(QQ)(FiniteRankFreeModule(QQ, 3))` fails ''(merged in Sage 9.3.beta8)''
- #30229: Submodules of `TensorFreeModule` defined by the symmetries of a `Components` object
- #30235: Add construction methods to `FiniteRankFreeModule` and `CombinatorialFreeModule`
- #30241: New implementation class `FiniteRankDualFreeModule`
- #30242: Make `ExtPowerFreeModule` a quotient of `TensorFreeModule`
- #30245: `FreeModuleAutomorphism` should not inherit from `FreeModuleTensor`
- #30244: Use `_matmul_` operator (@)
- #30276: Phased permutation groups
- #30302: Arithmetic on tensor module elements, manifold objects: always return a copy
- #30307: Refactor `Components` into parent & element
- #31276: Tensor product method for `FiniteRankFreeModule`
- #31946: `_sympy_` methods for tensor component classes
- #31991: Metaticket: Efficient numerical computations with tensor trains
- #31992: `FiniteRankFreeModuleMorphism`: Add method `SVD` (singular value decomposition)
- #32028: Tensor canonicalization
- #32029: Action of a !SymPy `TensorSymmetry`
- #32034: Graphical representations of tensors
- #32318: Generate non-redundant indices of tensors with symmetries efficiently ''(merged in Sage 9.5.beta1)''
- #32355: Bug in multiple tensor contractions with scalar result ''(merged in Sage 9.5.beta1)''
- #32415: Remove unnecessary uses of symbolic functions in `sage.tensor.modules` ''(merged in Sage 9.5.beta1)''
- #32708: `sage.tensor.modules`: remove dependency on `sage.manifolds`
- #32712: `sage.tensor.modules`: make doctests involving SR optional
== Topological manifolds ==
- #24151: Improve simplifications in calculus on manifolds
- #24290: Make simplifications in !SymPy calculus on manifolds rely on !SymPy only
- #29775: Add a bit of typing to manifold code
- #30080: Manifolds with boundary
- #30232: Coercion/conversion `SR` to `ScalarFieldAlgebra`
- #30310: Immutability of chart functions ''(merged in Sage 9.3.beta9)''
- #30311: Immutability of scalar fields II ''(merged in Sage 9.4.beta0)''
- #31243: Stronger categories for manifold examples: connectedness ''(merged in Sage 9.3.beta7)''
- #31371: Product of manifolds
- #31654: Equip scalar fields with `copy_from` method ''(merged in Sage 9.4.beta1)''
- #31674: Make open subsets of immersed/embedded submanifolds immersed/embedded submanifolds ''(merged in Sage 9.4.beta1)''
- #31677: Open subsets of arbitrary subsets of manifolds ''(merged in Sage 9.4.beta1)''
- #31685: `ContinuousMap.image`: if map is an isomorphism and `domain_subset` is open, create a submanifold
- #31703: Sheaves on manifolds
- #31720: Manifold: Change some methods to generators
- #31771: `Chart.subchart_poset`, `superchart_poset`, `Manifold.chart_poset`
- #31854: Pass `name` and `latex_name` to `copy` method in `set_restriction` ''(merged in Sage 9.4.beta3)''
- #31883: Refine category of `ScalarField` ''(merged in Sage 9.4.beta4)''
- #31894: Refine categories of `Chart` objects, add method `codomain`
- #31901: `Chart`: Implement pickling via `__getstate__`/`__setstate__`
- #31923: The inverse of the inverse should be `self` in `CoordChange` ''(merged in Sage 9.4.beta4)''
- #32009: Eliminate direct use of the `Chart._domain` attribute ''(merged in Sage 9.4.beta6)''
- #32102: `Chart`: Add init argument `coord_restrictions`, deprecate method `add_restrictions` ''(merged in Sage 9.4.beta6)''
- #32112: Bug in `Chart.__init__` regarding the determination of top charts ''(merged in Sage 9.4.beta6)''
- #32116: `Chart._parse_coordinates` ''(merged in Sage 9.4.beta6)''
- #32120: Chart-wise assumptions
== Manifold subsets ==
- #31740 Meta-ticket: Families, posets, complexes of manifold subsets
- #30263: `declare_union` yields wrong results
- #31644: Topological closure of manifold subsets, methods `ManifoldSubset.closure`, `is_closed`, `declare_closed` ''(merged in Sage 9.4.beta4)''
- #31653: Images of continuous maps and embedded submanifolds as manifold subsets ''(merged in Sage 9.4.beta1)''
- #31675: Plotting subsets of real manifolds
- #31680: Poset of manifold subsets ''(merged in Sage 9.4.beta3)''
- #31682: Add `_test_...` methods that check invariants of subset relations
- #31718: `ManifoldSubset`: Change some methods to generators ''(merged in Sage 9.4.beta3)''
== Differentiable manifolds ==
- #28629: Automorphism fields: remove SR enforcement when computing the inverse
- #28640: Vector-valued forms:
- #27492: Bug in parallelized computations involving symbolic functions
- #29234: Inheritance structure: tensor fields as sections of vector bundles
- #29581: New algorithm for characteristic classes ''(merged in Sage 9.5.beta3)''
- #30211: Characteristic classes: sequences ''(merged in Sage 9.4.beta0)''
- #30261: Immutability for manifold objects
- #30272: Mixed forms: `set_comp`, `comp` ''(merged in Sage 9.4.beta6)''
- #30284: Immutability of bundle connections ''(merged in Sage 9.3.rc0)''
- #30495: sage.manifolds: Connect to Pymanopt
- #30714: Tensor arithmetics on minimal amount of domains
- #30781: Covariant derivatives along smooth maps
- #30830: Subintervals of `OpenInterval` and `UniqueRepresentation` ''(merged in Sage 9.3.beta2)''
- #30832: Connect `RealSet` to `sage.manifolds` ''(merged in Sage 9.4.beta4)''
- #31215: Documentation of item assignment behavior for bundle connections ''(merged in Sage 9.3.beta7)''
- #31249: Grassmann manifolds
- #31255: Follow up: Mutability of sections and tensor fields ''(merged in Sage 9.3.beta7)''
- #31273: Remove deprecated `form` input for bundle connections ''(merged in Sage 9.3.beta7)''
- #31316: Method `subs()` ineffective on tensor fields
- #31323: Make self-diffeomorphisms default ''(merged in Sage 9.3.beta9)''
- #31324: Circle doesn't have an orientation
- #31609: Add method `tangent_vector()` to differentiable manifolds ''(merged in Sage 9.4.beta1)''
- #31617: Provide 3-sphere with additional features
- #31633: Simplify `VectorField.__call__` ''(merged in Sage 9.4.beta1)''
- #31658: Speeding-up copy method for tensor fields ''(merged in Sage 9.4.beta1)''
- #31678: `DifferentiableManifold.open_subset`: update vector frames and change of frames
- #31691: Turn mixed form algebra into de Rham complex (and add de Rham cohomology) ''(merged in Sage 9.4.beta1)''
- #31692: Refactor display behavior of mixed forms ''(merged in Sage 9.4.beta1)''
- #31706: Immutability for mixed forms ''(merged in Sage 9.4.beta6)''
- #31784: Mixed form name bug for pullback bundle ''(merged in Sage 9.4.beta2)''
- #31878: Replace `OpenInterval`, `RealLine` instances by instances of a subclass of `DifferentiableManifold` + `RealSet`
- #31904: Pullback silently fails in some cases with multiple charts ''(merged in Sage 9.4.beta4)''
- #32313: Remove deprecated differential forms ''(merged in Sage 9.5.beta1)''
- #32270: Turn de Rham cohomology into algebra ''(merged in Sage 9.5.beta1)''
- #32578: Allow for coordinate changes in curve plots ''(merged in Sage 9.5.beta4)''
== Pseudo-Riemannian manifolds ==
- #25457: Declaring a metric along with its components
- #25500: Energy momentum tensor, Einstein tensor and Einstein space-time
- #30804: Add standard sphere to manifold catalog ''(merged in Sage 9.3.beta2)''
- #30824: More flexible coordinate treatment for `EuclideanSpace`
- #31322: Use ambient metric by default in `hodge_dual` ''(merged in Sage 9.3.beta9)''
- #31707: Manifold of piecewise linear functions with k marked breakpoints
- #31747: Add spherical coordinates with equator-based latitude
- #31777: `manifolds.Sphere`: Add barycentric coordinates of spherical triangles / Whitney forms
- #31781: Improve handling of metrics on pseudo-Riemannian submanifolds ''(merged in Sage 9.5.beta0)''
- #31813: Add support for `tangent_vector_eval_at` for geodesics on manifolds integrated over multiple charts
- #32228: Move examples from `sage.geometry.riemannian_manifolds` to `sage.manifolds`
== Poisson manifolds ==
- #30362: Add symplectic structures
== Complex and almost complex manifolds ==
- #18786: almost complex structures through Hodge structures
" task new major manifolds manifold, tensor, differential geometry tscrim mkoeppe gh-mjungmath gh-honglizhaobob see ticket description N/A