id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
18528 SageManifolds metaticket egourgoulhon egourgoulhon "This is the implementation of manifolds resulting from the [http://sagemanifolds.obspm.fr/ SageManifolds project], developed by the following [http://sagemanifolds.obspm.fr/authors.html authors].
See also the recent metaticket #30139 for future developments.
== 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)''
- Exterior powers of free modules of finite rank: #23207 ''(merged in Sage 8.1.beta0)''
- More functionalities for bases of free modules of finite rank: #24792 ''(merged in Sage 8.2.beta8)''
- Better treatment of the zero element: #28562 ''(merged in Sage 9.0.beta3)''
- Multiple symmetries and multiple contractions with index notation: #28784 ''(merged in Sage 9.0.beta8)''
- Tensor addition with index notation: #28787 ''(merged in Sage 9.1.beta2)''
- Enhance symmetry handling for tensors: #28813
- Extension of admissible indices conventions for tensors with indices: #29099
- Index notation for tensors should allow for unicode characters: #29248
- Sparse iterator for tensor components: #29619
- Compacting the display of tensor product: #29820
- Parallelization of wedge product: #29796
- Basis-dependent isomorphism from `FiniteRankFreeModule` to an object in the category `ModulesWithBasis`: #30094 ''(merged in Sage 9.2.beta7)''
- sage.tensor.modules: Add `SymPowerFreeModule`: #30095
- sage.tensor.modules: Add backends using !TensorFlow Core and !PyTorch: #30096
- Add category `FreeModules` (without distinguished basis): #30164
- Trivial coercion `Modules(QQ)(FiniteRankFreeModule(QQ, 3))` fails: #30174
- `ModulesWithBasis.linear_combination` should be a method of `Modules`: #30179 ''(merged in Sage 9.2.beta7)''
- Immutable elements of `FreeModuleTensor`: #30181
== 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)''
- !SymPy as an alternative to SR for symbolic calculus on manifolds: #22801 ''(merged in Sage 8.2.beta0)''
- improve simplifications in calculus on manifolds: #24151
- periodic coordinates on manifods: #27548 ''(merged in Sage 8.8.beta0)''
- customizing simplifications in coordinate calculus: #27601 ''(merged in Sage 8.8.beta1)''
- scalar field restrictions: #28554 ''(merged in Sage 9.0.beta4)''
- add a bit of typing to manifold code: #29775
- add manifold orientability and compactness: #30178
- '''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 ''(merged in Sage 7.6.beta3)''
- Multivector fields and the Schouten-Nijenhuis bracket: #23429 ''(merged in Sage 8.1.beta8)''
- Deprecate !CoordinatePatch and !DifferentialForm classes: #24444 ''(merged in Sage 8.2.beta3)''
- Embedded submanifolds: #25164 ''(merged in Sage 8.3.beta4)''
- Tensor fields along a submanifold: #25254 ''(merged in Sage 8.3.beta2)''
- Tensor series expansion: #25866 ''(merged in Sage 8.8.beta0)''
- Add manifold catalog: #25869 ''(merged in Sage 8.5.beta0)''
- Initializing the components of a tensor field while declaring it: #27581 ''(merged in Sage 8.8.beta1)''
- Mixed differential forms: #27584 ''(merged in Sage 8.8.beta3)''
- Ease the display of tensor fields in a coordinate frame: #27655 ''(merged in Sage 8.8.beta3)''
- Mixed forms improvements: #28578 ''(merged in Sage 9.0.beta5)''
- Vector bundles: #28159 ''(merged in Sage 9.0.beta3)''
- Characteristic classes on vector bundles: #27784 ''(merged in Sage 9.0.beta8)''
- Tensor fields: consistent naming: #28564 ''(merged in Sage 9.0.beta7)''
- Immutability of tensor fields and mixed forms: #28519 ''(metaticket)''
- Automorphism fields: remove SR enforcement when computing the inverse: #28629
- Vector-valued forms: #28640
- Constructing a vector frame from a family of vector fields: #28716 ''(merged in Sage 9.0.beta8)''
- Inheritance structure: tensor fields as sections of vector bundles: #29234
- Apply a function to all components of a tensor field: #29244 ''(merged in Sage 9.1.beta8)''
- New algorithm for characteristic classes: #29581
- Let `diff()` act on chart functions and differentiable forms: #29953 ''(merged in Sage 9.2.beta4)''
- Characteristic classes: sequences: #30211
- Action for bundle connections: #30209
- Declare sections with name only: #30228 ''(merged in Sage 9.2.beta7)''
- '''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)''
- integrated curves and geodesics: #22951 ''(merged in Sage 8.1.beta2)''
- pseudo-Riemannian manifolds: #24622 ''(merged in Sage 8.2.rc0)''
- Euclidean spaces and vector calculus: #24623 ''(merged in Sage 8.3.beta0)''
- Geometry of pseudo-Riemannian submanifolds: #25438 ''(merged in Sage 8.3.beta8)''
- Declaring a metric along with its components: #25457
- Energy momentum tensor, Einstein tensor and Einstein space-time: #25500
- Degenerate manifolds and submanifolds: #26355 ''(merged in Sage 9.1.beta0)''
- Degenerate submanifolds: new features: #29080 ''(merged in Sage 9.1.beta4)''
- Tutorial about vector calculus: #27703 ''(merged in Sage 8.9.beta0)''
- More control on the numerical ODE solver for integrated curves and geodesics: #28707 ''(merged in Sage 9.0.beta6)''
- Add `EuclideanSpace` to category of metric spaces: #30062 ''(merged in Sage 9.2.beta7)''
- Add sphere and hyperbolic space permanently: #30181
- '''Lie groups:'''
- Nilpotent Lie groups: #26344 ''(merged in Sage 8.4.rc0)''
== Bug fixes and performance improvements ==
- List functionality of free module bases: #22518 ''(merged in Sage 7.6.rc0)''
- Display of tensors on free modules of finite rank: #22520 ''(merged in Sage 7.6.rc0)''
- Checking validity of coordinate values on a chart: #22535 ''(merged in Sage 7.6.rc0)''
- Symbolic derivatives in simplification of coordinate functions: #22503 ''(merged in Sage 7.6.rc0)''
- Pullback on parallelizable manifolds: #22563 ''(merged in Sage 8.0.beta0)''
- Tensor field restrictions on parallelizable manifolds: #22637 ''(merged in Sage 8.0.beta1)''
- Inverse metric on parallelizable manifolds: #22667 ''(merged in Sage 8.0.beta1)''
- Improvements in Jacobian determinants of transition maps: #22789 ''(merged in Sage 8.0.beta2)''
- Arithmetics of coordinate functions and scalar fields without zero check of the result: #22859 ''(merged in Sage 8.0.beta5)''
- Characteristic of coordinate function rings: #23329 ''(merged in Sage 8.1.beta2)''
- Faster comparison of manifold points: #23592 ''(merged in Sage 8.1.beta2)''
- Fast comparison to zero (method `is_trivial_zero()`) for coordinate functions and scalar fields: #23623 ''(merged in Sage 8.1.beta4)''
- Minor errors in integrated curves: #23838 ''(merged in Sage 8.1.beta6)''
- Simplifications in calculus on manifolds with derivatives of symbolic functions: #24199 ''(fixed by #24232)''
- Simplifications in calculus on manifolds via the expression tree: #24232 ''(merged in Sage 8.2.beta0)''
- Make simplifications in !SymPy calculus on manifolds rely on !SymPy only: #24290
- Better handling of matrix output for operator `[:]` acting on sets of tensor components: #24884 ''(merged in Sage 8.2.beta8)''
- Better restrictions on manifolds: #25417 ''(merged in Sage 8.3.beta3)''
- py3: implement `__hash__` method in `ContinuousMap`: #25502 ''(merged in Sage 8.3.beta5)''
- Declared coordinate range not taken into account when a symbolic bound is involved: #25510 ''(merged in Sage 8.3.beta5)''
- Improvements to integrated curves and geodesics on manifolds: #25936 ''(merged in Sage 8.5.beta1)''
- Fix bug concerning restrictions of tensor fields: #26012 ''(merged in Sage 8.4.beta1)''
- Parallelization of two functions (tensor calculus): #26168 ''(merged in Sage 8.5.beta5)''
- Remove deprecated method view() in tensor: #26392 ''(merged in Sage 8.4.rc0)''
- py3: make all doctests passed with Python3 in `src/sage/manifolds`: #26475 ''(merged in Sage 8.5.beta0)''
- py3: fix regression in Python3 tests in manifolds: #26569 ''(merged in Sage 8.5.beta2)''
- py3: make all doctests passed with Python3 in `src/sage/tensor`: #26601 ''(merged in Sage 8.5.beta2)''
- Remove deprecated stuff in manifolds: #26609 ''(merged in Sage 8.5.beta2)''
- Make simplifications effective in the computation of the inverse of a transition map: #26701 ''(merged in Sage 8.5.beta4)''
- Bug in parallelization on manifolds: #26777 ''(merged in Sage 8.5.beta6)''
- Remove deprecated `ScalarField`'s method `function_chart`: #27409 ''(merged in Sage 8.7.beta7)''
- Bug in parallelized computations involving symbolic functions: #27492
- Bug in wedge of unnamed differential forms: #27576 ''(merged in Sage 8.8.beta1)''
- Error in testing whether a scalar field belongs to a module of differential forms: #27658 ''(merged in Sage 8.8.beta3)''
- Tangent vectors should act as derivations on scalar fields: #27856 ''(merged in Sage 8.8.rc0)''
- Issue in calculus on manifolds with incomplete set of transition maps: #28072 ''(merged in Sage 8.9.beta2)''
- `AttributeError` when computing manifold chart after computing its vector field module: #28331 ''(merged in Sage 8.9.beta7)''
- Fix some issues with submanifolds and improve their documentation: #28344 ''(merged in Sage 8.9.beta8)''
- Use something instead of `time()` to ensure Manifold uniqueness in tests: #28365 ''(merged in Sage 8.9.beta8)''
- Change keyword argument `verbose` to `check` in `CoordChange.set_inverse()` and set the default to `True`: #28422 ''(merged in Sage 8.9.rc0)''
- Bug in computing the second fundamental form of a Riemannian submanifold: #28462 ''(merged in Sage 8.9.rc0)''
- Improve computation of connection coefficients: #28543 ''(merged in Sage 9.0.beta1)''
- Output dicts and lists copied: #28563 ''(merged in Sage 9.0.beta1)''
- Fix wedge product on the right with a scalar field: #28579 ''(merged in Sage 9.0.beta1)''
- Use standard notation for pullback and pushforward on manifolds: #28600 ''(merged in Sage 9.0.beta3)''
- `set_restriction` behaviour when the subdomain is the domain: #28628 ''(merged in Sage 9.0.beta4)''
- Unnecessary coordinate check while initializing an integrated curve: #28669 ''(merged in Sage 9.0.beta5)''
- Vector bundles: section module name fix: #28690 ''(merged in Sage 9.0.beta5)''
- Scalar field raise `AttributeError` on `show_identifiers` call: #28769 ''(merged in Sage 9.0.beta8)''
- More flexible coercions in mixed form algebra: #28916 ''(merged in Sage 9.1.beta1)''
- Mixed forms: zero treatment for scalar multiplication: #28921 ''(merged in Sage 9.1.beta1)''
- Vector bundles: documentation improvements: #28963 ''(merged in Sage 9.1.beta6)''
- Automorphism fields: notation of inverse: #28973 ''(merged in Sage 9.1.beta1)''
- Bug in setting the calculus method on manifolds: #29021 ''(merged in Sage 9.1.beta1)''
- Documentation improvements of characteristic classes: #28854 ''(merged in Sage 9.1.beta6)''
- Improve doctests of degenerate submanifolds: #29440 ''(merged in Sage 9.1.rc0)''
- Correct documentation of characteristic classes: #29470 ''(merged in Sage 9.1.rc0)''
- Wrong parent when using `diff_form` of degree zero: #29570 ''(merged in Sage 9.1.rc3)''
- Wedge product of multivector field with scalar field: #29628 ''(merged in Sage 9.2.beta0)''
- Bug in initialization of vector field with rational components: #29639 ''(merged in Sage 9.2.beta0)''
- Multiprocessing in tensor computations does not work under macOS: #29755
- More efficient contruction of free module bases: #30061 ''(merged in Sage 9.2.beta7)''
- Unable to coerce free module over Q into Category of vector spaces over Q: #30094 ''(merged in Sage 9.2.beta7)''
- Not equal operator for mixed forms: #30108 ''(merged in Sage 9.2.beta7)''
- Coercion from `ChartFunctionRing` to `ScalarFieldAlgebra`: #30112 ''(merged in Sage 9.2.beta6)''
- Replace `__eq__` by `_richcmp_` for manifolds: #30116
- Trivial coercion `Modules(QQ)(FiniteRankFreeModule(QQ, 3))` fails: #30174
" task new major geometry manifold, tensor, differential geometry mbejger mmancini tscrim bpillet gh-LBrunswic gh-mjungmath see ticket description N/A #18175