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].
== 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)''
== 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
- '''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
- Simple manifold generator: #25869
- '''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
== 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
- Fix bug concerning restrictions of tensor fields: #26012
" task new major sage-8.4 geometry manifold, tensor, differential geometry mbejger mmancini tscrim bpillet Eric Gourgoulhon, Michal Bejger, Marco Mancini N/A #18175